From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 19 Sep 2012 07:34:37 +0000 (-0700)
Subject: my schedule changes
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=b8a6522deb073737e7f07fdf7561c2879fa48033;p=c11tester.git

my schedule changes
---

diff --git a/schedule.cc b/schedule.cc
index 5c93381b..c30b0f38 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -77,7 +77,6 @@ void Scheduler::wake(Thread *t)
  */
 Thread * Scheduler::next_thread(Thread *t)
 {
-	printf("%p\n",t);
 	if ( t == NULL ) {
 		int old_curr_thread = curr_thread_index;
 		while(true) {
@@ -94,7 +93,6 @@ Thread * Scheduler::next_thread(Thread *t)
 	} else {
 		curr_thread_index = id_to_int(t->get_id());
 	}
-	printf("index=%u enabled=%u\n", curr_thread_index, is_enabled[curr_thread_index]);
 
 	current = t;
 	print();