diff --git a/src/nfagraph/ng_haig.cpp b/src/nfagraph/ng_haig.cpp index 50522ff7..4f96786c 100644 --- a/src/nfagraph/ng_haig.cpp +++ b/src/nfagraph/ng_haig.cpp @@ -42,6 +42,7 @@ #include "util/determinise.h" #include "util/graph.h" #include "util/graph_range.h" +#include "util/hash_dynamic_bitset.h" #include "util/make_unique.h" #include "util/ue2_containers.h" @@ -236,7 +237,7 @@ public: struct Big_Traits { using StateSet = dynamic_bitset<>; - using StateMap = map; + using StateMap = unordered_map; static StateSet init_states(u32 num) { return StateSet(num);