From 038be645c074ea23a606bd22a6b7c62469335f63 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 2 Aug 2012 10:25:31 -0700
Subject: [PATCH] model: delete Threads on destruction

When switching from STL map to hashtable, the Thread destruction was just
commented out instead of reimplemented. This is a good enough version, I think.
---
 model.cc | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/model.cc b/model.cc
index b456c24..98c6e64 100644
--- a/model.cc
+++ b/model.cc
@@ -41,9 +41,8 @@ ModelChecker::ModelChecker() :
 /** @brief Destructor */
 ModelChecker::~ModelChecker()
 {
-	/*	std::map<int, Thread *>::iterator it;
-	for (it = thread_map->begin(); it != thread_map->end(); it++)
-	delete (*it).second;*/
+	for (int i = 0; i < get_num_threads(); i++)
+		delete thread_map->get(i);
 	delete thread_map;
 
 	delete obj_thrd_map;
-- 
2.34.1