X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.cc;h=2b8ab3cc870a6f0fc9dae9ec5758f7b2e00f8092;hp=9d7ff51431a1b358914dd3f49e8d8c02ee226a9d;hb=24d17393dc45f60f6f6660159f2f329d1cc5d15a;hpb=3e538ef764be5b82ef8a58f1fcdf98708cd8aa73

diff --git a/model.cc b/model.cc
index 9d7ff51..2b8ab3c 100644
--- a/model.cc
+++ b/model.cc
@@ -2577,7 +2577,7 @@ void ModelChecker::dumpGraph(char *filename) const
 	for (action_list_t::iterator it = action_trace->begin(); it != action_trace->end(); it++) {
 		ModelAction *action = *it;
 		if (action->is_read()) {
-			fprintf(file, "N%u [label=\"%u, T%u\"];\n", action->get_seq_number(), action->get_seq_number(), action->get_tid());
+			fprintf(file, "N%u [label=\"N%u, T%u\"];\n", action->get_seq_number(), action->get_seq_number(), action->get_tid());
 			if (action->get_reads_from() != NULL)
 				fprintf(file, "N%u -> N%u[label=\"rf\", color=red];\n", action->get_seq_number(), action->get_reads_from()->get_seq_number());
 		}