X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=444e1a82982535339f241d5eb203fddf1d00a15a;hb=87d6ae25425840ccad0ef6edef6e279967e83be6;hp=9f692728aa916d820d3d9c38d80f8c591aee9396;hpb=823b36d82da7eccc91cee959e04f48a3da1c9e13;p=model-checker.git

diff --git a/schedule.cc b/schedule.cc
index 9f69272..444e1a8 100644
--- 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;