nodestack: add print_may_read_from()

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 0e952417b16c87a484712a94de4953bebc984d96..c09b628b4ffc9a8f91a7997f628f3234c1e6b7df 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -46,6 +46,7 @@ public:
        void add_read_from(const ModelAction *act);
 
        void print();
+       void print_may_read_from();
 
        MEMALLOC
 private: