From 0d7d52625cb013f27828db8d5542f66d57c021f3 Mon Sep 17 00:00:00 2001
From: Justin Viiret <justin.viiret@intel.com>
Date: Mon, 15 May 2017 09:54:09 +1000
Subject: [PATCH] ng_haig: make StateMap an unordered_map

---
 src/nfagraph/ng_haig.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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<StateSet, dstate_id_t>;
+    using StateMap = unordered_map<StateSet, dstate_id_t, hash_dynamic_bitset>;
 
     static StateSet init_states(u32 num) {
         return StateSet(num);