projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b010178
)
schedule: fix printf warning (size_t uses %zu)
author
Brian Norris
<banorris@uci.edu>
Fri, 4 May 2012 05:30:25 +0000
(22:30 -0700)
committer
Brian Norris
<banorris@uci.edu>
Fri, 4 May 2012 06:50:46 +0000
(23:50 -0700)
schedule.cc
patch
|
blob
|
history
diff --git
a/schedule.cc
b/schedule.cc
index d6ec03830abc9e395e16dec32945e827f739a52b..3769a5acaf8db809934e80a450f06360ca526db1 100644
(file)
--- 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++)