From 8ee47022bf0cac5cd5a1ef10df3ff0a982872a42 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 18 Jan 2010 02:02:22 +0000
Subject: [PATCH] Fix some leaks

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@556 e59a4935-1847-0410-ae03-e826735625c1
---
 src/main/main.cpp      | 2 ++
 src/sat/core/Solver.h  | 2 +-
 src/to-sat/CallSAT.cpp | 7 ++++++-
 3 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 9a2d45c..446db1a 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -299,5 +299,7 @@ int main(int argc, char ** argv) {
       bm->GetRunTimes()->print();
     }
   (GlobalSTP->tosat)->PrintOutput(ret);
+
+  delete AssertsQuery;
   return 0;
 }//end of Main
diff --git a/src/sat/core/Solver.h b/src/sat/core/Solver.h
index ecac792..608075c 100644
--- a/src/sat/core/Solver.h
+++ b/src/sat/core/Solver.h
@@ -96,7 +96,7 @@ public:
     // Constructor/Destructor:
     //
     Solver();
-    ~Solver();
+    virtual ~Solver();
 
     // Problem specification:
     //
diff --git a/src/to-sat/CallSAT.cpp b/src/to-sat/CallSAT.cpp
index c183d21..df6f54b 100644
--- a/src/to-sat/CallSAT.cpp
+++ b/src/to-sat/CallSAT.cpp
@@ -104,7 +104,10 @@ namespace BEEV
 
     if(!sat)
       {
-        return sat;
+        cm->DELETE(cl);
+        delete cm->ReturnXorClauses();
+        delete cm;
+    	return sat;
       }
 
 #if defined CRYPTOMINISAT || defined CRYPTOMINISAT2
@@ -115,7 +118,9 @@ namespace BEEV
     cm->DELETE(xorcl);
 #endif 
 
+
     cm->DELETE(cl);
+    delete cm->ReturnXorClauses();
     delete cm;
     return sat;
   }
-- 
2.47.3