make scheduler choose fair schedules when threads with priority are sleeping...

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 01dd35b03752504dc9416543f38588018297adf6..d6c033725dedf36bed645f5615f19d45444b2f07 100644 (file)
--- a/model.h
+++ b/model.h
@@ -112,6 +112,7 @@ public:
 
        const model_params params;
        Scheduler * get_scheduler() { return scheduler;}
+       Node * get_curr_node();
 
        MEMALLOC
 private: