projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
nodestack: use initializer list
[model-checker.git]
/
threads.cc
diff --git
a/threads.cc
b/threads.cc
index 09efcae619c06b78ed5c2668473c2b8143b9ea71..ca4b28b1bc850c9ea5bcab709e2d27a9e74e2581 100644
(file)
--- a/
threads.cc
+++ b/
threads.cc
@@
-105,7
+105,7
@@
int Thread::swap(ucontext_t *ctxt, Thread *t)
void Thread::complete()
{
if (!is_complete()) {
- DEBUG("completed thread %d\n",
get_id(
));
+ DEBUG("completed thread %d\n",
id_to_int(get_id()
));
state = THREAD_COMPLETED;
if (stack)
stack_free(stack);