X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=1bd1b0f983fef2a602fe6b089db723c4526adc4a;hb=3f77119600ac3aa246258dec2776056d09f8e4e0;hp=8dd13304093008094c00d465ffb4086eec1e810d;hpb=dc9c89654982c64264dfee7b1ea23e9a5e88e18e;p=model-checker.git

diff --git a/schedule.cc b/schedule.cc
index 8dd1330..1bd1b0f 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -207,6 +207,10 @@ Thread * Scheduler::select_next_thread()
 	return NULL;
 }
 
+void Scheduler::set_scheduler_thread(thread_id_t tid) {
+	curr_thread_index=id_to_int(tid);
+}
+
 /**
  * @brief Set the current "running" Thread
  * @param t Thread to run