X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads_internal.h;h=4c1e36a4115bd6b21f261491d368139ab987a6a8;hb=e1430f3d41e01fca5b878fc5909cf1c871c12f0e;hp=bdef9a5240ea16d0ad0be80aaff3ba1d7d9bf0d0;hpb=24ac8e855acce4248271ca4a13f0dad8e74a96a4;p=model-checker.git

diff --git a/threads_internal.h b/threads_internal.h
index bdef9a5..4c1e36a 100644
--- 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; }