From: khooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 11 Jan 2012 16:55:28 +0000 (+0000)
Subject: Fix BitBlaster to consistently use the hash_set macro defined in AST/UsefulDefs.h.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=b9a7ff86fe0d2e7ef5037cd3b97b775142543afc;p=francis%2Fstp.git

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 fb96174..6d363a3 100644
--- 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