X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=predicate.cc;h=5cc0219c4b14e36033953d9d1bc37b8773f583ef;hp=2d7777783dac99e1f28553b416c969a0b34e4591;hb=3cc10cd7ba94e6a8eeedd0904c75ee613700a8ff;hpb=83212d16bb9dea02a28a008752a62447e20c699f

diff --git a/predicate.cc b/predicate.cc
index 2d777778..5cc0219c 100644
--- a/predicate.cc
+++ b/predicate.cc
@@ -3,6 +3,7 @@
 Predicate::Predicate(FuncInst * func_inst, bool is_entry) :
 	func_inst(func_inst),
 	entry_predicate(is_entry),
+	does_write(false),
 	pred_expressions(16),
 	children(),
 	parent(NULL),
@@ -89,6 +90,10 @@ void Predicate::print_predicate()
 				break;
 		}
 	}
+
+	if (does_write) {
+		model_print("Does write\n");
+	}
 	model_print("\"];\n");
 }