X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;fp=threads.cc;h=52b7ca9db9f8c3d7eae6bcea16a86266d27b9ac8;hb=086658309f67c28dc254b06bda5bafa8c3e191d6;hp=b7927c465d1156eddfa0103363e3b37f785d64b2;hpb=5f3838b041321eb417737eed51c8639266c0d77c;p=satcheck.git

diff --git a/threads.cc b/threads.cc
index b7927c4..52b7ca9 100644
--- a/threads.cc
+++ b/threads.cc
@@ -109,7 +109,7 @@ Thread::Thread(thread_id_t tid) :
 	user_thread(NULL),
 	waiting(NULL),
 	id(tid),
-	state(THREAD_READY), /* Thread is always ready? */
+	state(THREAD_READY),			/* Thread is always ready? */
 	model_thread(true)
 {
 	memset(&context, 0, sizeof(context));
@@ -189,7 +189,7 @@ void Thread::set_waiting(Thread *th) {
  */
 bool Thread::is_waiting_on(const Thread *t) {
 	Thread *wait;
-	for (wait = waiting_on(); wait != NULL; wait = wait->waiting_on())
+	for (wait = waiting_on();wait != NULL;wait = wait->waiting_on())
 		if (wait == t)
 			return true;
 	return false;