rename threads_internal.h -> threads.h

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 38a0dce8775a4f3490f50163477582b43db6de76..13be39170f23e85c887a953b1f6bf79b8f8e5077 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -3,7 +3,7 @@
 #include "libthreads.h"
 #include "schedule.h"
 #include "common.h"
-#include "threads_internal.h"
+#include "threads.h"
 
 /* global "model" object */
 #include "model.h"
@@ -60,17 +60,6 @@ void Thread::dispose()
        stack_free(stack);
 }
 
-int Thread::switch_to_master(ModelAction *act)
-{
-       Thread *next;
-
-       DBG();
-       model->set_current_action(act);
-       state = THREAD_READY;
-       next = model->system_thread;
-       return swap(next);
-}
-
 Thread::Thread(thrd_t *t, void (*func)(), void *a) {
        int ret;