Read the global STPManager in cleanup(), rather than a pointer to it.

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

diff --git a/src/AST/ASTBVConst.cpp b/src/AST/ASTBVConst.cpp
index 71aa8dfa21b7e26f575438075c88dd238fe63012..8fd0e647c71627d5920e9df1d79a38929aa11d3e 100644 (file)
--- a/src/AST/ASTBVConst.cpp
+++ b/src/AST/ASTBVConst.cpp
@@ -35,7 +35,7 @@ namespace BEEV
   // unique table
   void ASTBVConst::CleanUp()
   {
-    (GlobalSTP->bm)->_bvconst_unique_table.erase(this);
+    (ParserBM)->_bvconst_unique_table.erase(this);
     delete this;
   } //End of Cleanup()
 

diff --git a/src/AST/ASTInterior.cpp b/src/AST/ASTInterior.cpp
index cc8c2a5abd5da72e559e3e64a195405361d55c31..e1b9db73322b6627a1397be0bae4aa141fefc85e 100644 (file)
--- a/src/AST/ASTInterior.cpp
+++ b/src/AST/ASTInterior.cpp
@@ -19,7 +19,7 @@ namespace BEEV
   // the unique table
   void ASTInterior::CleanUp()
   {
-    (GlobalSTP->bm)->_interior_unique_table.erase(this);
+    (ParserBM)->_interior_unique_table.erase(this);
     delete this;
   } //End of Cleanup()
 

diff --git a/src/AST/ASTSymbol.cpp b/src/AST/ASTSymbol.cpp
index 6e1ea6d64eb3a0acb8504e9d90a66bb92122be5b..e4ccd9099070ad3829d0ad8f117a307c9a26fc3b 100644 (file)
--- a/src/AST/ASTSymbol.cpp
+++ b/src/AST/ASTSymbol.cpp
@@ -32,7 +32,7 @@ namespace BEEV
   // unique table
   void ASTSymbol::CleanUp()
   {
-    (GlobalSTP->bm)->_symbol_unique_table.erase(this);
+    (ParserBM)->_symbol_unique_table.erase(this);
     free((char*) this->_name);
     delete this;
   }//End of cleanup()