From: Brian Norris <banorris@uci.edu>
Date: Mon, 20 Aug 2012 19:53:28 +0000 (-0700)
Subject: model: don't "leak" promises
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=91ca23a9908adbf143bab6ea06ebd81ab6f0d5d9;p=cdsspec-compiler.git

model: don't "leak" promises
---

diff --git a/model.cc b/model.cc
index 25f85d0..b2bb6e1 100644
--- a/model.cc
+++ b/model.cc
@@ -49,6 +49,11 @@ ModelChecker::~ModelChecker()
 	delete obj_thrd_map;
 	delete obj_map;
 	delete action_trace;
+
+	for (unsigned int i = 0; i < promises->size(); i++)
+		delete (*promises)[i];
+	delete promises;
+
 	delete thrd_last_action;
 	delete node_stack;
 	delete scheduler;