From 47e0ef8a152ec0a41d25a35b75be047d63abfa9d Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Sat, 5 May 2012 00:19:56 -0700
Subject: [PATCH] model: free final list

---
 model.cc | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index 20f8f9e..2c74047 100644
--- a/model.cc
+++ b/model.cc
@@ -30,6 +30,14 @@ private:
 
 ModelChecker *model;
 
+void free_action_list(action_list_t *list)
+{
+	action_list_t::iterator it;
+	for (it = list->begin(); it != list->end(); it++)
+		delete (*it);
+	delete list;
+}
+
 ModelChecker::ModelChecker()
 {
 	/* First thread created will have id INITIAL_THREAD_ID */
@@ -55,7 +63,8 @@ ModelChecker::~ModelChecker()
 		delete (*it).second;
 	thread_map.clear();
 
-	delete action_trace;
+	free_action_list(action_trace);
+
 	delete this->scheduler;
 	delete rootNode;
 }
-- 
2.34.1