From 81d8243e2b5a9dfc9512e505164fa049b3cfb421 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sun, 9 Jan 2011 04:05:09 +0000 Subject: [PATCH] Fix a small memory leak. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1059 e59a4935-1847-0410-ae03-e826735625c1 --- src/parser/CVC.y | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/parser/CVC.y b/src/parser/CVC.y index 1d20fcd..fe057ba 100644 --- a/src/parser/CVC.y +++ b/src/parser/CVC.y @@ -467,10 +467,9 @@ Formula : '(' Formula ')' ASTNode hi = parserInterface->CreateBVConst(32, $5); ASTNode low = parserInterface->CreateBVConst(32, $5); - ASTNode * n = new ASTNode(parserInterface->nf->CreateTerm(BVEXTRACT,1,*$3,hi,low)); + ASTNode n = parserInterface->nf->CreateTerm(BVEXTRACT,1,*$3,hi,low); ASTNode one = parserInterface->CreateBVConst(1,1); - ASTNode * out = new ASTNode(parserInterface->nf->CreateNode(EQ,*n,one)); - + ASTNode * out = new ASTNode(parserInterface->nf->CreateNode(EQ,n,one)); $$ = out; delete $3; -- 2.47.3