model: drop public get_current_node() interface

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 62ba8fb3ff0ee631d960649286142d0608560135..136f4622fb3ff1d16aa59a8b9d41a6c62df2f930 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -195,12 +195,15 @@ void Scheduler::wake(Thread *t)
 
 /**
  * @brief Select a Thread to run via round-robin
+ *
+ * @param n The current Node, holding priority information for the next thread
+ * selection
+ *
  * @return The next Thread to run
  */
-Thread * Scheduler::select_next_thread()
+Thread * Scheduler::select_next_thread(Node *n)
 {
        int old_curr_thread = curr_thread_index;
-       Node *n = model->get_curr_node();
 
        bool have_enabled_thread_with_priority = false;
        if (model->params.fairwindow != 0) {