Bugfix. memory leak.

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

diff --git a/src/parser/let-funcs.h b/src/parser/let-funcs.h
index fad5b9b72b0d04fd20cf2723f73def2dd21ba784..9b33e21f654e712dd887fe937ba2d793d9600930 100644 (file)
--- a/src/parser/let-funcs.h
+++ b/src/parser/let-funcs.h
@@ -32,6 +32,11 @@ namespace BEEV
       ASTUndefined = undefined;
     }
 
+    ~LETMgr()
+       {
+         delete _letid_expr_map;
+       }
+
     ASTNode ResolveID(const ASTNode& var);
       
     //Functions that are used to manage LET expressions