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

diff --git a/model.cc b/model.cc
index 1f13de7..f50b0f9 100644
--- a/model.cc
+++ b/model.cc
@@ -201,6 +201,7 @@ void ModelChecker::print_trace(void)
 int ModelChecker::add_thread(Thread *t)
 {
 	thread_map[t->get_id()] = t;
+	scheduler->add_thread(t);
 	return 0;
 }