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 a75f6d8be3266f1371ca759c0b3f0db19087a1b7..ee051b39037991dbcd957c0c4155ce98df400481 100644 (file)
--- 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 1200308d0e8d3021fb73634aee58a14867f2d946..9389bfa94a0b67711518dcf68cb401a06d4dea9e 100644 (file)
--- 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 71f5e64d9f13ff0a222f6dac3f10966192239697..faead4353551d2faf696484d9bffc40c0511cf54 100644 (file)
--- 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;
   }
 
   //########################################