bug fixes for lock support...think it works now...

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 3262a569d0e5da24689c46c706752a3b718c9a69..a06bef40570556ddbf52bff19959423aaca159a6 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -56,6 +56,7 @@ public:
        bool set_backtrack(thread_id_t id);
        thread_id_t get_next_backtrack();
        bool is_enabled(Thread *t);
+       bool is_enabled(thread_id_t tid);
        ModelAction * get_action() { return action; }
 
        /** @return the parent Node to this Node; that is, the action that