X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=7402aa57d107aac938faab66ea13782ffaff3609;hb=f94de5b6daa067501562ed3047bfb6b4939f9435;hp=1f7d3e4ad3fee660027e974261b8083b3a99e0c3;hpb=c7f10b7c489c0c186bfe34dd1d87ae8b89d501ff;p=model-checker.git

diff --git a/nodestack.h b/nodestack.h
index 1f7d3e4..7402aa5 100644
--- 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;