- Made the output more easily machine-parsed.

2005-01-14 12:48:26 +00:00
parent bd0069886c
commit 9df1bfed5b
1 changed files with 3 additions and 3 deletions
--- 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;