From b9a7ff86fe0d2e7ef5037cd3b97b775142543afc Mon Sep 17 00:00:00 2001
From: khooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 11 Jan 2012 16:55:28 +0000
Subject: [PATCH] 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
---
 src/simplifier/constantBitP/multiplication/ImplicationGraph.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.47.3