From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sat, 5 Mar 2011 03:14:50 +0000 (+0000)
Subject: Fix a leak introduced in r1184.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=c7622dd5ec90ede7c19831617adda3b97c5bd520;p=francis%2Fstp.git

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
---

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));