X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=a4f7e90fc332b39c8be422a8eef450f3d4368aca;hb=4730dd573ad7a28d875c31b6aa633f7bce420054;hp=964e83fbd623270628ec1b078b2e9d81c9d136c0;hpb=b7a6b3c7fb66628a4b14af804418dbfff4072e95;p=model-checker.git

diff --git a/model.cc b/model.cc
index 964e83f..a4f7e90 100644
--- a/model.cc
+++ b/model.cc
@@ -716,11 +716,15 @@ void ModelChecker::print_summary()
 	printf("\n");
 }
 
-int ModelChecker::add_thread(Thread *t)
+/**
+ * Add a Thread to the system for the first time. Should only be called once
+ * per thread.
+ * @param t The Thread to add
+ */
+void ModelChecker::add_thread(Thread *t)
 {
 	thread_map->put(id_to_int(t->get_id()), t);
 	scheduler->add_thread(t);
-	return 0;
 }
 
 void ModelChecker::remove_thread(Thread *t)