clean up some DEBUG() messages

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 9f692728aa916d820d3d9c38d80f8c591aee9396..444e1a82982535339f241d5eb203fddf1d00a15a 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -168,6 +168,7 @@ Thread * Scheduler::next_thread(Thread *t)
                for (int i = 0; i < enabled_len; i++) {
                        thread_id_t tid = int_to_id(i);
                        if (n->has_priority(tid)) {
+                               DEBUG("Node (tid %d) has priority\n", i);
                                //Have a thread with priority
                                if (enabled[i] != THREAD_DISABLED)
                                        have_enabled_thread_with_priority = true;