X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=3e25dc6f0171d5efce0480504ec4c4ba14190c4b;hb=1667e1f8017bd3f4bf5b1ef5712e3156577f99a2;hp=4e2bb0250f05480ca3ccde1f6b99c26afe344a8b;hpb=1745637aab8a1d85eb605b9ef9e92d4fbb437633;p=model-checker.git

diff --git a/model.cc b/model.cc
index 4e2bb02..3e25dc6 100644
--- a/model.cc
+++ b/model.cc
@@ -26,7 +26,7 @@ ModelChecker::ModelChecker()
 	diverge(NULL),
 	nextThread(THREAD_ID_T_NONE),
 	action_trace(new action_list_t()),
-	thread_map(new std::map<int, class Thread *>),
+	thread_map(new std::map<int, Thread *>),
 	obj_thrd_map(new std::map<void *, std::vector<action_list_t> >()),
 	thrd_last_action(new std::vector<ModelAction *>(1)),
 	node_stack(new NodeStack()),
@@ -37,7 +37,7 @@ ModelChecker::ModelChecker()
 /** @brief Destructor */
 ModelChecker::~ModelChecker()
 {
-	std::map<int, class Thread *>::iterator it;
+	std::map<int, Thread *>::iterator it;
 	for (it = thread_map->begin(); it != thread_map->end(); it++)
 		delete (*it).second;
 	delete thread_map;