X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=3af74966469afe1a6897802de9e27c434adf4e76;hb=fe8423ca853f5d614e618fe49d37d0943d416809;hp=4c7ac41f1849d2a18fa6ad4510df118f2d81f87d;hpb=a9aac0d43e0e24354af4163cd3161036586f029a;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 4c7ac41..3af7496 100644
--- a/threads.cc
+++ b/threads.cc
@@ -75,7 +75,6 @@ Thread::Thread(thrd_t *t, void (*func)(), void *a) {
 	state = THREAD_CREATED;
 	id = model->get_next_id();
 	*user_thread = id;
-	model->scheduler->add_thread(this);
 }
 
 Thread::Thread(thrd_t *t) {