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 01dd35b..d6c0337 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: