Fix leaks in the CVC parser

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

diff --git a/src/parser/CVC.y b/src/parser/CVC.y
index 2a2982584ef8f11bada7416a6b8e0d25f382d0d6..b2367d359356e9d0f6fec60672c26f688777c992 100644 (file)
--- a/src/parser/CVC.y
+++ b/src/parser/CVC.y
@@ -322,6 +322,7 @@ VarDecl         :      FORM_IDs ':' Type
                            
     parserInterface->letMgr.LetExprMgr(*i,*$5);
     delete $5;
+    delete $1;
   }
 }
 |      FORM_IDs ':' Type '=' Formula
@@ -1134,17 +1135,22 @@ ArrayUpdateExpr : Expr WITH_TOK Updates
   BVTypeCheck(*result);
   $$ = result;
   delete $3;
+  delete $1;
 }
 ;
 
 Updates         : '[' Expr ']' ASSIGN_TOK Expr 
 {
   $$ = new ASTNodeMap();
-  (*$$)[*$2] = *$5;                 
+  (*$$)[*$2] = *$5;         
+  delete $2;
+  delete $5;        
 }
 | Updates WITH_TOK '[' Expr ']' ASSIGN_TOK Expr 
 {                   
   (*$1)[*$4] = *$7;
+  delete $4;
+  delete $7;
 }
 ;