my schedule changes

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 5c93381b99763344d3fce9548a39955c041c6d79..c30b0f38874c83425dd6a15a395fa5e7fadfc025 100644 (file)
--- 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();