From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 28 Oct 2009 17:18:47 +0000 (+0000)
Subject: more cleanup of the deletion of various classes. For some reason delete the STPMgr... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=37b5a9efd5ee4a46ea8cb6a328ed3a741b0e17c9;p=francis%2Fstp.git

more cleanup of the deletion of various classes. For some reason delete the STPMgr class from STP class causes a segfault

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 83882ae..9cd6b16 100644
--- 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;   
     }
 
     /****************************************************************