threads/model: move switch_to_master from class Thread to class ModelChecker

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 38a0dce8775a4f3490f50163477582b43db6de76..397c7894b70291b10016d1d3774ea74f7c840c73 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -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;