Fix BitBlaster to consistently use the hash_set macro defined in AST/UsefulDefs.h.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1497 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/simplifier/constantBitP/multiplication/ImplicationGraph.h b/src/simplifier/constantBitP/multiplication/ImplicationGraph.h
index fb96174231ea9617c9f1815c399c112187022e05..6d363a3e970d7e3503a5d8370b2e0b3e54af0b97 100644 (file)
--- a/src/simplifier/constantBitP/multiplication/ImplicationGraph.h
+++ b/src/simplifier/constantBitP/multiplication/ImplicationGraph.h
@@ -8,6 +8,7 @@
 #ifndef IMPLICATIONGRAPH_H_
 #define IMPLICATIONGRAPH_H_
 
+#include "../../../AST/UsefulDefs.h"
 #include "../ConstantBitP_TransferFunctions.h"
 #include "../ConstantBitP_Utility.h"
 #include "Edge.h"
@@ -25,7 +26,7 @@ extern const bool debug_multiply;
 // Relationship between bits. One bit may imply another bit.
 class ImplicationGraph
 {
-       typedef __gnu_cxx ::hash_set<Edge, EdgeHasher, eqEdge> Edges;
+       typedef hash_set<Edge, EdgeHasher, eqEdge> Edges;
        Edges edges;
 
        struct Target