X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=65e1447f1a755cae8416df96aa330addff0f4711;hb=be8cc021ead92563f9ed55a922168d4a40da907f;hp=af42a1f06e952580b2f984c2f81c134b89748bf4;hpb=563d0da13f38cf55a88673c2a712b797d4938df1;p=c11tester.git

diff --git a/action.cc b/action.cc
index af42a1f0..65e1447f 100644
--- a/action.cc
+++ b/action.cc
@@ -720,6 +720,9 @@ void ModelAction::print() const
 	model_print("%-4d %-2d   %-14s  %7s  %14p   %-#18" PRIx64,
 							seq_number, id_to_int(tid), type_str, mo_str, location, get_return_value());
 	if (is_read()) {
+		if (is_write()) {
+			model_print("(%" PRIx64 ")", get_write_value());
+		}
 		if (reads_from)
 			model_print("  %-3d", reads_from->get_seq_number());
 		else