model: make scheduler private

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 26975799f0adc03ce8ca4e0ad6e391aad0e37d96..ad88ad3602188e3fdb4d2089347ae004b03cadda 100644 (file)
--- 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();
 }
 
 /**