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

[model-checker.git] / threads_internal.h

diff --git a/threads_internal.h b/threads_internal.h
index bdef9a5240ea16d0ad0be80aaff3ba1d7d9bf0d0..4c1e36a4115bd6b21f261491d368139ab987a6a8 100644 (file)
--- a/threads_internal.h
+++ b/threads_internal.h
@@ -20,7 +20,6 @@ public:
        Thread(thrd_t *t);
        int swap(Thread *t);
        void dispose();
-       int switch_to_master(ModelAction *act);
 
        thread_state get_state() { return state; }
        void set_state(thread_state s) { state = s; }