Bugfix. revision 556 broke cryptominisat. If cryptominisat was enabled, the xor data...

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

diff --git a/src/to-sat/CallSAT.cpp b/src/to-sat/CallSAT.cpp
index df6f54b7bbca692365bb5cc4fde861272bebe925..8968311052af8b6fbc1a7a5ca31eb7505ce1312b 100644 (file)
--- 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;
   }