From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 20 Apr 2012 01:46:09 +0000 (+0000)
Subject: fix the build.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=74a636d52e515acdc01f67ce8067b9587d0825a7;p=francis%2Fstp.git

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 b3a891b..051d48b 100644
--- 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()
     {