]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Fix. Remove unnecessary include that broke redhat complilation.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 4 Jan 2012 06:26:20 +0000 (06:26 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 4 Jan 2012 06:26:20 +0000 (06:26 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1466 e59a4935-1847-0410-ae03-e826735625c1

src/simplifier/constantBitP/ConstantBitP_Multiplication.cpp

index 03be6d209241bcfb2445d5bf8c0bd7556a1cefc5..f86113591b6c6d9724b9cfff4e681861160c552b 100644 (file)
@@ -5,7 +5,6 @@
 #include "../../AST/AST.h"
 #include "../../simplifier/simplifier.h"
 #include "MultiplicationStats.h"
-#include <hash_set>
 #include "multiplication/ImplicationGraph.h"
 #include "multiplication/ColumnCounts.h"
 // Multiply.