From d9bcfc7509f1d18e77502f527a3d227c1b9338ad Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 18 Jan 2010 02:36:41 +0000 Subject: [PATCH] Bugfix. revision 556 broke cryptominisat. If cryptominisat was enabled, the xor data structure was deleted twice. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@558 e59a4935-1847-0410-ae03-e826735625c1 --- src/to-sat/CallSAT.cpp | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/to-sat/CallSAT.cpp b/src/to-sat/CallSAT.cpp index df6f54b..8968311 100644 --- a/src/to-sat/CallSAT.cpp +++ b/src/to-sat/CallSAT.cpp @@ -99,13 +99,13 @@ namespace BEEV //bool sat = toSATandSolve(SatSolver, *cl); for (ClauseBuckets::iterator it = cb->begin(); it != cb->end(); it++) - delete it->second; + delete it->second; delete cb; if(!sat) { cm->DELETE(cl); - delete cm->ReturnXorClauses(); + cm->DELETE(xorcl); delete cm; return sat; } @@ -115,12 +115,10 @@ namespace BEEV { sat = toSATandSolve(SatSolver, *xorcl, true); } - cm->DELETE(xorcl); #endif - cm->DELETE(cl); - delete cm->ReturnXorClauses(); + cm->DELETE(xorcl); delete cm; return sat; } -- 2.47.3