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 065c72e558aa45570ab8338a1806e769e13dfa87..50804f68222ab341412e916a124956a22eec7a1b 100644 (file)
--- 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