improve scheduler debugging

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index d344fb1acdcf858db73d098b7341a8dae930125f..0f550c41962a5046c6934fe5380d17e0cda39e36 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -40,7 +40,7 @@ void Scheduler::print()
                printf("Current thread: %d\n", current->get_id());
        else
                printf("No current thread\n");
-       printf("# Threads in ready list: %ld\n", readyList.size());
+       printf("Num. threads in ready list: %ld\n", readyList.size());
 
        std::list<Thread *>::iterator it;
        for (it = readyList.begin(); it != readyList.end(); it++)