X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.cc;h=c364df9f7613178e2453d05bd667f64f44ed4fde;hb=c1cc5e279bcba4216bde88a63dafac96d3ef47ba;hp=28bba4d003176c405f0ed65720639052aa6c3929;hpb=eb3b6cccf71b9eeee035e2c98566dfa279e402ae;p=model-checker.git

diff --git a/nodestack.cc b/nodestack.cc
index 28bba4d..c364df9 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -325,9 +325,9 @@ const ModelAction * Node::get_read_from() {
 bool Node::increment_read_from() {
 	DBG();
 	promises.clear();
-	if ((read_from_index+1) < may_read_from.size()) {
+	if (read_from_index < may_read_from.size()) {
 		read_from_index++;
-		return true;
+		return read_from_index < may_read_from.size();
 	}
 	return false;
 }
@@ -339,9 +339,9 @@ bool Node::increment_read_from() {
 bool Node::increment_future_value() {
 	DBG();
 	promises.clear();
-	if ((future_index+1) < ((int)future_values.size())) {
+	if (future_index < ((int)future_values.size())) {
 		future_index++;
-		return true;
+		return (future_index < ((int)future_values.size()));
 	}
 	return false;
 }