X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=nodestack.cc;h=136e3a2eb4a2f72325db5e95e5fc9205160450b2;hp=85bbf7169248f42e580f0ff2fc6373a4b723ba96;hb=718fed530a17d55ab479921e8dffebea4f98cbdf;hpb=d6def735e3fb70267ca802f3b1909e7ace6e4507;ds=inline

diff --git a/nodestack.cc b/nodestack.cc
index 85bbf716..136e3a2e 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -324,7 +324,7 @@ const ModelAction * Node::get_read_from() {
  */
 bool Node::increment_read_from() {
 	DBG();
-
+	promises.clear();
 	read_from_index++;
 	return (read_from_index < may_read_from.size());
 }
@@ -335,7 +335,7 @@ bool Node::increment_read_from() {
  */
 bool Node::increment_future_value() {
 	DBG();
-
+	promises.clear();
 	future_index++;
 	return (future_index < future_values.size());
 }