X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=schedule.cc;h=31db9c8fd1c92184ad16f04be4640ca6a09214c4;hp=f68786a825698f64052729f5032b332a3925e824;hb=1e3cce83f208da50a267c163841f12d491aeec86;hpb=a72579537233ec7d21ac24d895b9cbe7cfe16f2d

diff --git a/schedule.cc b/schedule.cc
index f68786a8..31db9c8f 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -206,7 +206,7 @@ Thread * Scheduler::select_next_thread()
 	int thread_list[enabled_len], sleep_list[enabled_len];
 	Thread * thread;
 
-	for (int i = 0; i < enabled_len; i++) {
+	for (int i = 0;i < enabled_len;i++) {
 		if (enabled[i] == THREAD_ENABLED)
 			thread_list[avail_threads++] = i;
 		else if (enabled[i] == THREAD_SLEEP_SET)