threads: don't make direct call into scheduler

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 4c7ac41f1849d2a18fa6ad4510df118f2d81f87d..3af74966469afe1a6897802de9e27c434adf4e76 100644 (file)
--- 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) {