X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=threads.cc;h=ca4b28b1bc850c9ea5bcab709e2d27a9e74e2581;hp=09efcae619c06b78ed5c2668473c2b8143b9ea71;hb=2de6c82d6d7e6af2267636ec55f7e81d2a799a78;hpb=e00292b5adf2b85eb1c6e2399159b5c28fde48eb

diff --git a/threads.cc b/threads.cc
index 09efcae..ca4b28b 100644
--- 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);