From 9df1bfed5b8db26a3b38fe7d37052a1ff7e5c77e Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 14 Jan 2005 12:48:26 +0000
Subject: [PATCH] - Made the output more easily machine-parsed.

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

diff --git a/src/main.c b/src/main.c
index 690f621..d1b19f5 100644
--- a/src/main.c
+++ b/src/main.c
@@ -826,14 +826,14 @@ timersPrint (const System sys)
 	    {
 	      eprintf ("\tcorrect: ");
 	      if (cl_scan->complete)
-		eprintf ("complete proof");
+		eprintf ("complete_proof");
 	      else
-		eprintf ("bounded proof");
+		eprintf ("bounded_proof");
 	    }
 	}
       else
 	{
-	  eprintf ("\tcorrect: does not occur");
+	  eprintf ("\tcorrect: does_not_occur");
 	}
       eprintf ("\n");
       cl_scan = cl_scan->next;