From e39b10a964341a7115f3a27d04443d8008d4d025 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 10 Feb 2011 05:48:48 +0000
Subject: [PATCH] Improvement. The SMTLIB1 & SMTLIB2 parsers were holding
 references to nodes when they didn't need to.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1140 e59a4935-1847-0410-ae03-e826735625c1
---
 src/parser/smt.y  | 1 +
 src/parser/smt2.y | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/src/parser/smt.y b/src/parser/smt.y
index 9dd8391..37e38b5 100644
--- a/src/parser/smt.y
+++ b/src/parser/smt.y
@@ -226,6 +226,7 @@ benchmark
   ((ASTVec*)AssertsQuery)->push_back(query);
   delete $1;
   parserInterface->letMgr.cleanupParserSymbolTable();
+  query = ASTNode();
   YYACCEPT;
 }
 ;
diff --git a/src/parser/smt2.y b/src/parser/smt2.y
index 927dec1..effaf6d 100644
--- a/src/parser/smt2.y
+++ b/src/parser/smt2.y
@@ -204,6 +204,8 @@ cmd: commands END
       	((ASTVec*)AssertsQuery)->push_back(parserInterface->CreateNode(TRUE));
   	  ((ASTVec*)AssertsQuery)->push_back(querysmt2);
        parserInterface->letMgr.cleanupParserSymbolTable();
+       querysmt2 = ASTNode();
+       assertionsSMT2.clear();
        YYACCEPT;
 }
 ;
-- 
2.47.3