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

diff --git a/schedule.cc b/schedule.cc
index e874903..8dd1330 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -215,7 +215,7 @@ void Scheduler::set_current_thread(Thread *t)
 {
 	ASSERT(t && !t->is_model_thread());
 
-	curr_thread_index = id_to_int(t->get_id());
+	//curr_thread_index = id_to_int(t->get_id());
 
 	current = t;
 	if (DBG_ENABLED())