From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 31 Dec 2010 11:56:09 +0000 (+0000)
Subject: Small leak fix. Didn't delete the variable introduced in the speedup of r1040
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=1bcffb59d4f34f70da5edae0f5fcc5c92245b45e;p=francis%2Fstp.git

Small leak fix. Didn't delete the variable introduced in the speedup of r1040

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

diff --git a/src/STPManager/STPManager.h b/src/STPManager/STPManager.h
index 065c72e..50804f6 100644
--- a/src/STPManager/STPManager.h
+++ b/src/STPManager/STPManager.h
@@ -456,6 +456,9 @@ namespace BEEV
       _bvconst_unique_table.clear();
       _symbol_unique_table.clear();
 
+      if (NULL != CreateBVConstVal)
+        CONSTANTBV::BitVector_Destroy(CreateBVConstVal);
+
       delete hashingNodeFactory;
     }
   };//End of Class STPMgr