model: fix the maxreads support

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 8b4d7aef232bd2d5e09d899493c97c1e0de3d410..b391645b3af7a458e9271fc1bd60d762c5935605 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -65,6 +65,7 @@ public:
        bool increment_read_from();
        bool read_from_empty();
        int get_read_from_size();
+       const ModelAction * get_read_from_at(int i);
 
        void set_promise(unsigned int i);
        bool get_promise(unsigned int i);