fix the build.

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

diff --git a/src/cpp_interface/cpp_interface.h b/src/cpp_interface/cpp_interface.h
index b3a891b89913f83d6992df16d5dad6bafdc4e1c6..051d48bf6d2f8a0b5971822ff3424783728f5d30 100644 (file)
--- a/src/cpp_interface/cpp_interface.h
+++ b/src/cpp_interface/cpp_interface.h
@@ -56,12 +56,7 @@ namespace BEEV
       assert(bm.getAssertLevel() == symbols.size());
     }
 
-  public:
-    LETMgr letMgr;
-    NodeFactory* nf;
-
-    Cpp_interface(STPMgr &bm_, NodeFactory* factory) :
-        bm(bm_), nf(factory), letMgr(bm.ASTUndefined)
+    void init()
     {
       assert(nf != NULL);
       alreadyWarned = false;
@@ -74,6 +69,20 @@ namespace BEEV
 
       print_success = false;
       ignoreCheckSatRequest=false;
+
+    }
+
+  public:
+    LETMgr letMgr;
+    NodeFactory* nf;
+
+    Cpp_interface(STPMgr &bm_);
+
+
+    Cpp_interface(STPMgr &bm_, NodeFactory* factory) :
+        bm(bm_), nf(factory), letMgr(bm.ASTUndefined)
+    {
+      init();
     }
 
     void
@@ -326,6 +335,12 @@ namespace BEEV
     void
     checkSat(const ASTVec & assertionsSMT2);
 
+    void
+    deleteGlobal()
+    {
+      delete GlobalSTP;
+    }
+
     void
     cleanUp()
     {