model: delete Threads on destruction

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index b456c246468cd7d5674e65bfe42ff2cd4a348462..98c6e645382bf2bdc32bc75e45e3a90b1de4a3cd 100644 (file)
--- 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;