From c7622dd5ec90ede7c19831617adda3b97c5bd520 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sat, 5 Mar 2011 03:14:50 +0000 Subject: [PATCH] Fix a leak introduced in r1184. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1187 e59a4935-1847-0410-ae03-e826735625c1 --- src/AST/NodeFactory/HashingNodeFactory.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/AST/NodeFactory/HashingNodeFactory.cpp b/src/AST/NodeFactory/HashingNodeFactory.cpp index 198b1fa..b1dda28 100644 --- a/src/AST/NodeFactory/HashingNodeFactory.cpp +++ b/src/AST/NodeFactory/HashingNodeFactory.cpp @@ -30,7 +30,10 @@ BEEV::ASTNode HashingNodeFactory::CreateNode(const Kind kind, const BEEV::ASTVec // So you can't trust the hashiing node factory even to return nodes of the same kind that // you ask for. if (kind == BEEV::NOT && children[0].GetKind() == BEEV::NOT) - return children[0][0]; + { + delete n_ptr; + return children[0][0]; + } // insert all of children at end of new_children. ASTNode n(bm.CreateInteriorNode(kind, n_ptr, children)); -- 2.47.3