X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=fc0f13d886bfb6e0139c6f5999b0bd0aaf1becaf;hb=d4361e592c3a19d3a4ec24cea410118eac798b79;hp=85ad11aacbf9b255a8372b11e82fc1ad8ad74a7e;hpb=cc60d0e08cbe3bb8060bc535884574e347666a92;p=model-checker.git

diff --git a/model.cc b/model.cc
index 85ad11a..fc0f13d 100644
--- a/model.cc
+++ b/model.cc
@@ -214,7 +214,7 @@ void ModelChecker::print_trace(void)
 
 	scheduler->print();
 
-	printf("\nTrace:\n\n");
+	printf("Trace:\n\n");
 
 	for (it = action_trace->begin(); it != action_trace->end(); it++) {
 		DBG();