nodestack: add stub 'get_next_read_from()' function

[c11tester.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index c09b628b4ffc9a8f91a7997f628f3234c1e6b7df..11cbdfa801d772d70e210668db374fd71f718b71 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -44,6 +44,7 @@ public:
        Node * get_parent() const { return parent; }
 
        void add_read_from(const ModelAction *act);
+       const ModelAction * get_next_read_from();
 
        void print();
        void print_may_read_from();