From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 6 Nov 2009 05:13:37 +0000 (+0000)
Subject: Read the global STPManager in cleanup(), rather than a pointer to it.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=21e71e7926c0000e427bf421dde2b283110cbc65;p=francis%2Fstp.git

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 71aa8df..8fd0e64 100644
--- 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 cc8c2a5..e1b9db7 100644
--- 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 6e1ea6d..e4ccd90 100644
--- 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()