diff --git a/src/nfagraph/ng_limex.cpp b/src/nfagraph/ng_limex.cpp index c4147a30..922100e7 100644 --- a/src/nfagraph/ng_limex.cpp +++ b/src/nfagraph/ng_limex.cpp @@ -851,8 +851,8 @@ u32 countAccelStates(const NGHolder &g, const ReportManager *rm, // Should have no bearing on accel calculation, so we leave these empty. const set zombies; - const unordered_map reportSquashMap; - const unordered_map squashMap; + unordered_map reportSquashMap; + unordered_map squashMap; return countAccelStates(*h, state_ids, repeats, reportSquashMap, squashMap, tops, zombies, cc);