X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=action.cc;h=81f447a5b13f9d8e3db3e352e4be49f4659559b0;hp=130902491a97f794f13e98b917bb84522e8b0f64;hb=f5029d07e4fad5921f60108f5632fb2a5e4a52fb;hpb=bb168337e93650eddb90df61b109db4e1e8570c9

diff --git a/action.cc b/action.cc
index 1309024..81f447a 100644
--- a/action.cc
+++ b/action.cc
@@ -543,7 +543,13 @@ void ModelAction::print() const
 	if (is_read()) {
 		if (reads_from)
 			model_print("  Rf: %-3d", reads_from->get_seq_number());
-		else
+		else if (reads_from_promise) {
+			int idx = model->get_promise_number(reads_from_promise);
+			if (idx >= 0)
+				model_print("  Rf: P%-2d", idx);
+			else
+				model_print("  RF: P? ");
+		} else
 			model_print("  Rf: ?  ");
 	}
 	if (cv) {