Removing trailing code related to pools' #ifdefs in CryptoMS

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

diff --git a/src/sat/cryptominisat2/Clause.cpp b/src/sat/cryptominisat2/Clause.cpp
deleted file mode 100644 (file)
index b81d636..0000000
--- a/src/sat/cryptominisat2/Clause.cpp
+++ /dev/null
@@ -1,15 +0,0 @@
-#include "Clause.h"
-
-namespace MINISAT
-{
-using namespace MINISAT;
-
-#ifdef USE_POOLS
-#ifdef USE_4POOLS
-boost::pool<> clausePoolQuad(sizeof(Clause) + 5*sizeof(Lit));
-#endif //USE_4POOLS
-boost::pool<> clausePoolTri(sizeof(Clause) + 3*sizeof(Lit));
-boost::pool<> clausePoolBin(sizeof(Clause) + 2*sizeof(Lit));
-#endif //USE_POOLS
-
-}; //NAMESPACE MINISAT

diff --git a/src/sat/cryptominisat2/Makefile b/src/sat/cryptominisat2/Makefile
index bfc96a5701dd0b69a3ba084b1f66c709c7c2caff..3791a573436cd2bf564e01c33e322e2967f91a17 100644 (file)
--- a/src/sat/cryptominisat2/Makefile
+++ b/src/sat/cryptominisat2/Makefile
@@ -6,7 +6,7 @@ MTRAND    = MTRand
 SOURCES   = Logger.cpp Solver.cpp PackedRow.cpp \
            XorFinder.cpp VarReplacer.cpp \
            FindUndef.cpp ClauseCleaner.cpp RestartTypeChooser.cpp \
-           Clause.cpp FailedVarSearcher.cpp PartFinder.cpp \
+           FailedVarSearcher.cpp PartFinder.cpp \
            Subsumer.cpp PartHandler.cpp XorSubsumer.cpp \
            Gaussian.cpp MatrixFinder.cpp StateSaver.cpp \
            ClauseAllocator.cpp UselessBinRemover.cpp \