changes

[c11tester.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 16264a2bbf800c6832e312cab644e85febb4f566..9ccde8da34e953052660292d6b865cb53dbe76e0 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -46,7 +46,7 @@ public:
         * occurred previously in the stack. */
        Node * get_parent() const { return parent; }
 
-       void add_future_value(uint64_t value);
+       bool add_future_value(uint64_t value);
        void add_read_from(const ModelAction *act);
        const ModelAction * get_read_from();
        uint64_t get_future_value();