X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=30af582dcc237991b690f606eb0c1e5ca11afa1b;hb=7d107019dd0d32d0803fb802fc318a57101707a1;hp=9bd87077af6801811ce0cc05fa9e39df8f70cabc;hpb=055fb927ea688ec513508b0821e331558eea40d1;p=c11tester.git

diff --git a/schedule.cc b/schedule.cc
index 9bd87077..30af582d 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -234,7 +234,7 @@ Thread * Scheduler::select_next_thread()
 		thread = execution->getFuzzer()->selectThread(thread_list, avail_threads);
 	}
 
-	curr_thread_index = id_to_int(thread->get_id());
+	//curr_thread_index = id_to_int(thread->get_id());
 	return thread;
 }