From ebf50b52528e76d2ab4d7b409a8d62a639199e3b Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 29 Dec 2005 13:36:01 +0000
Subject: [PATCH] - Removed the bold for complete proof.

---
 src/main.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/main.c b/src/main.c
index d25236c..38a2687 100644
--- 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
 		    {