Fix snapshot code

[model-checker.git] / clockvector.cc

diff --git a/clockvector.cc b/clockvector.cc
index 0b325281007e35505f993c2f9798f5b02765621c..5f068e9025fffe3667a508196c155defa9421bbd 100644 (file)
--- a/clockvector.cc
+++ b/clockvector.cc
@@ -95,7 +95,7 @@ modelclock_t ClockVector::getClock(thread_id_t thread) {
 void ClockVector::print() const
 {
        int i;
-       model_print("CV: (");
+       model_print("(");
        for (i = 0; i < num_threads; i++)
                model_print("%2u%s", clock[i], (i == num_threads - 1) ? ")\n" : ", ");
 }