From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 6 Nov 2009 16:46:52 +0000 (+0000)
Subject: fixed a memory-leak introduced during the process of fixing memory-leaks
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=7f837197f09c7f0fb01e1ec8033e107f2cc7de64;p=francis%2Fstp.git

fixed a memory-leak introduced during the process of fixing memory-leaks

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

diff --git a/src/STPManager/STP.h b/src/STPManager/STP.h
index a75f6d8..ee051b3 100644
--- a/src/STPManager/STP.h
+++ b/src/STPManager/STP.h
@@ -100,7 +100,7 @@ namespace BEEV
       arrayTransformer->ClearAllTables();
       tosat->ClearAllTables();
       Ctr_Example->ClearAllTables();
-      bm->ClearAllTables();
+      //bm->ClearAllTables();
     }
   }; //End of Class STP
 };//end of namespace
diff --git a/src/STPManager/STPManager.h b/src/STPManager/STPManager.h
index 1200308..9389bfa 100644
--- a/src/STPManager/STPManager.h
+++ b/src/STPManager/STPManager.h
@@ -395,8 +395,8 @@ namespace BEEV
       _asserts.clear();
 
       delete letmgr;
- 	  delete runTimes;
-
+      delete runTimes;
+	  
       _interior_unique_table.clear();
       _bvconst_unique_table.clear();
       _symbol_unique_table.clear();
diff --git a/src/to-sat/ToCNF.cpp b/src/to-sat/ToCNF.cpp
index 71f5e64..faead43 100644
--- a/src/to-sat/ToCNF.cpp
+++ b/src/to-sat/ToCNF.cpp
@@ -1821,8 +1821,6 @@ namespace BEEV
         delete it1->second;
       }
     store.clear();
-    
-    delete clausesxor;
   }
 
   //########################################