X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=397c7894b70291b10016d1d3774ea74f7c840c73;hb=e1430f3d41e01fca5b878fc5909cf1c871c12f0e;hp=38a0dce8775a4f3490f50163477582b43db6de76;hpb=24ac8e855acce4248271ca4a13f0dad8e74a96a4;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 38a0dce..397c789 100644
--- 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;