Fix. Remove unnecessary include that broke redhat complilation.

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

diff --git a/src/simplifier/constantBitP/ConstantBitP_Multiplication.cpp b/src/simplifier/constantBitP/ConstantBitP_Multiplication.cpp
index 03be6d209241bcfb2445d5bf8c0bd7556a1cefc5..f86113591b6c6d9724b9cfff4e681861160c552b 100644 (file)
--- a/src/simplifier/constantBitP/ConstantBitP_Multiplication.cpp
+++ b/src/simplifier/constantBitP/ConstantBitP_Multiplication.cpp
@@ -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.