From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 02:36:06 +0000 (-0700)
Subject: clockvector: fixup print message
X-Git-Tag: pldi2013~392^2~22
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8bfe0555350d48f40f95e48f873c990a6fd4152f;p=model-checker.git

clockvector: fixup print message
---

diff --git a/clockvector.cc b/clockvector.cc
index 69503aa..aaf492d 100644
--- a/clockvector.cc
+++ b/clockvector.cc
@@ -63,6 +63,7 @@ bool ClockVector::happens_before(ModelAction *act, thread_id_t id)
 void ClockVector::print()
 {
 	int i;
+	printf("CV: (");
 	for (i = 0; i < num_threads; i++)
-		printf("%d%c", clock[i], (i == num_threads - 1) ? '\n' : ' ');
+		printf("%2d%s", clock[i], (i == num_threads - 1) ? ")\n" : ", ");
 }