X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;fp=threads.cc;h=ae2905a9819a7d4e0159fbbf6d4f439850da1f40;hb=2b004336a919f74a5ca8f6d87ad5414360a949c7;hp=5bfd028746aa99f314263d90d4f7234df629b63b;hpb=ed73252cff03383a802a9608a97e5234bc90fcc4;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 5bfd028..ae2905a 100644
--- a/threads.cc
+++ b/threads.cc
@@ -93,7 +93,7 @@ int Thread::create_context()
 int Thread::swap(Thread *t, ucontext_t *ctxt)
 {
 	t->set_state(THREAD_READY);
-	return swapcontext(&t->context, ctxt);
+	return model_swapcontext(&t->context, ctxt);
 }
 
 /**
@@ -107,7 +107,7 @@ int Thread::swap(Thread *t, ucontext_t *ctxt)
 int Thread::swap(ucontext_t *ctxt, Thread *t)
 {
 	t->set_state(THREAD_RUNNING);
-	return swapcontext(ctxt, &t->context);
+	return model_swapcontext(ctxt, &t->context);
 }