From: Brian Norris <banorris@uci.edu>
Date: Wed, 18 Apr 2012 01:23:09 +0000 (-0700)
Subject: tree: fix invalid free
X-Git-Tag: pldi2013~548
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2935e68907e93956d92ebecf5d7e00c6e2a81a16;p=model-checker.git

tree: fix invalid free
---

diff --git a/tree.cc b/tree.cc
index 37dfa26..f42202e 100644
--- a/tree.cc
+++ b/tree.cc
@@ -13,7 +13,6 @@ TreeNode::~TreeNode() {
 
 	for (it = children.begin(); it != children.end(); it++)
 		delete it->second;
-	delete &children;
 }
 
 TreeNode *TreeNode::exploreChild(tree_t id)