schedule: print debug info

[model-checker.git] / schedule.h

diff --git a/schedule.h b/schedule.h
index aa50ac3705f93a82ec397c56fcb66de9ad04dc75..86e4e40da18c5bc41bfd3908d76b4c48dc80b20b 100644 (file)
--- a/schedule.h
+++ b/schedule.h
@@ -11,6 +11,7 @@ public:
        void add_thread(Thread *t);
        Thread * next_thread(void);
        Thread * get_current_thread(void);
+       void print();
 private:
        std::list<Thread *> readyList;
        Thread *current;