X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=3769a5acaf8db809934e80a450f06360ca526db1;hb=cb4b972ff1d85e8f087afa4f001f52aad4a2b8a7;hp=d6ec03830abc9e395e16dec32945e827f739a52b;hpb=b01017897db7a4000d3f6f024e0b3800d0f10790;p=model-checker.git

diff --git a/schedule.cc b/schedule.cc
index d6ec038..3769a5a 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -48,7 +48,7 @@ void Scheduler::print()
 		DEBUG("Current thread: %d\n", current->get_id());
 	else
 		DEBUG("No current thread\n");
-	DEBUG("Num. threads in ready list: %ld\n", readyList.size());
+	DEBUG("Num. threads in ready list: %zu\n", readyList.size());
 
 	std::list<Thread *>::iterator it;
 	for (it = readyList.begin(); it != readyList.end(); it++)