- Removed the bold for complete proof.

2005-12-29 13:36:01 +00:00 · 2005-12-29 13:36:01 +00:00 · ebf50b5252
commit ebf50b5252
parent 3b897c3872
1 changed files with 1 additions and 2 deletions
--- a/src/main.c
+++ b/src/main.c
@ -547,8 +547,7 @@ timersPrint (const System sys)
 		  if (cl_scan->complete)
 		    {
 		      /* complete proof */
-		      eprintf ("[%sproof of correctness%s]", COLOR_Bold,
-			       COLOR_Reset);
+		      eprintf ("[proof of correctness]");
 		    }
 		  else
 		    {