X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=1f13de7f1e5ac4c74cea012bc096f0a23d666cfe;hb=a9aac0d43e0e24354af4163cd3161036586f029a;hp=f3844f0ad1e1d70d0060934eef73ca7032a048d8;hpb=067807af61c0df207b4ca77660eeb3b6e9e6882c;p=model-checker.git

diff --git a/model.cc b/model.cc
index f3844f0..1f13de7 100644
--- a/model.cc
+++ b/model.cc
@@ -30,9 +30,9 @@ ModelChecker::~ModelChecker()
 	delete rootNode;
 }
 
-void ModelChecker::assign_id(Thread *t)
+int ModelChecker::get_next_id()
 {
-	t->set_id(++used_thread_id);
+	return ++used_thread_id;
 }
 
 void ModelChecker::add_system_thread(Thread *t)