From: Brian Norris <banorris@uci.edu>
Date: Fri, 4 May 2012 05:30:25 +0000 (-0700)
Subject: schedule: fix printf warning (size_t uses %zu)
X-Git-Tag: pldi2013~460
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cb4b972ff1d85e8f087afa4f001f52aad4a2b8a7;p=model-checker.git

schedule: fix printf warning (size_t uses %zu)
---

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++)