X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=ad88ad3602188e3fdb4d2089347ae004b03cadda;hb=0cb167b8fb332e4d9726badd0aa58e943bb4b459;hp=26975799f0adc03ce8ca4e0ad6e391aad0e37d96;hpb=b7a6b3c7fb66628a4b14af804418dbfff4072e95;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 2697579..ad88ad3 100644
--- a/threads.cc
+++ b/threads.cc
@@ -26,7 +26,7 @@ static void stack_free(void *stack)
 Thread * thread_current(void)
 {
 	ASSERT(model);
-	return model->scheduler->get_current_thread();
+	return model->get_current_thread();
 }
 
 /**