From 91ca23a9908adbf143bab6ea06ebd81ab6f0d5d9 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 20 Aug 2012 12:53:28 -0700
Subject: [PATCH] model: don't "leak" promises

---
 model.cc | 5 +++++
 1 file changed, 5 insertions(+)

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