Fixed bug breaking our consolidation of future values...

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 1f7d3e4ad3fee660027e974261b8083b3a99e0c3..7402aa57d107aac938faab66ea13782ffaff3609 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -112,7 +112,7 @@ private:
 
        std::vector< struct future_value, MyAlloc<struct future_value> > future_values;
        std::vector< promise_t, MyAlloc<promise_t> > promises;
-       unsigned int future_index;
+       int future_index;
 };
 
 typedef std::vector< Node *, MyAlloc< Node * > > node_list_t;