model: remove useless return code from add_thread()

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 964e83fbd623270628ec1b078b2e9d81c9d136c0..a4f7e90fc332b39c8be422a8eef450f3d4368aca 100644 (file)
--- 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)