model: drop public get_current_node() interface
[cdsspec-compiler.git] / schedule.h
index c18953d44824d09782e1cd389becbb96c181fb4c..4c67c28492b9cc24facc2e43827eee2ca198f28d 100644 (file)
@@ -29,7 +29,7 @@ public:
        void remove_thread(Thread *t);
        void sleep(Thread *t);
        void wake(Thread *t);
        void remove_thread(Thread *t);
        void sleep(Thread *t);
        void wake(Thread *t);
-       Thread * select_next_thread();
+       Thread * select_next_thread(Node *n);
        void set_current_thread(Thread *t);
        Thread * get_current_thread() const;
        void print() const;
        void set_current_thread(Thread *t);
        Thread * get_current_thread() const;
        void print() const;