more cleanup of the deletion of various classes. For some reason delete the STPMgr...

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

diff --git a/src/STPManager/STP.h b/src/STPManager/STP.h
index 83882ae0805a33e647618ed8f37159945a163789..9cd6b161d7f224dde255f6030c1f0f81b7354e3e 100644 (file)
--- a/src/STPManager/STP.h
+++ b/src/STPManager/STP.h
@@ -62,12 +62,12 @@ namespace BEEV
     ~STP()
     {
       ClearAllTables();
-      // delete bvsolver;
-      //       delete Ctr_Example;
-      //       delete arrayTransformer;            
-      //       delete tosat;
-      //       delete simp;
-      //       delete bm;   
+      delete bvsolver;
+      delete Ctr_Example;
+      delete arrayTransformer;            
+      delete tosat;
+      delete simp;
+//       delete bm;   
     }
 
     /****************************************************************