X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=8384101a4d54581475600aa77fac2a94efa479b3;hb=cb7d648c3c1c3d916c7fc60a7cb332eb2b52d510;hp=76f18dd07fdf06ae6ac509c5e62bf55585e57c02;hpb=f1ba5c8c393c310e2210cbfb74020bec67fa6934;p=model-checker.git

diff --git a/action.cc b/action.cc
index 76f18dd..8384101 100644
--- a/action.cc
+++ b/action.cc
@@ -618,7 +618,7 @@ void ModelAction::print() const
 		if (reads_from)
 			model_print("  Rf: %-3d", reads_from->get_seq_number());
 		else if (reads_from_promise) {
-			int idx = model->get_promise_number(reads_from_promise);
+			int idx = reads_from_promise->get_index();
 			if (idx >= 0)
 				model_print("  Rf: P%-2d", idx);
 			else
@@ -648,7 +648,7 @@ unsigned int ModelAction::hash() const
 	       if (reads_from)
 		       hash ^= reads_from->get_seq_number();
 	       else if (reads_from_promise)
-		       hash ^= model->get_promise_number(reads_from_promise);
+		       hash ^= reads_from_promise->get_index();
 	       hash ^= get_reads_from_value();
 	}
 	return hash;