changes to fix at least a bug

[cdsspec-compiler.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 10331c2ef59ccb00046ad62c3e40439543a1288d..648ef4dfc318afc38a4e98b1e31bf4a1bcc944eb 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -66,6 +66,8 @@ public:
        thread_id_t get_next_backtrack();
        bool is_enabled(Thread *t);
        bool is_enabled(thread_id_t tid);
+       enabled_type_t enabled_status(thread_id_t tid);
+
        ModelAction * get_action() { return action; }
        bool has_priority(thread_id_t tid);
        int get_num_threads() {return num_threads;}