From bd0069886c5a467a3b091692887be25b0bbb6fd3 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 14 Jan 2005 12:38:43 +0000
Subject: [PATCH] - "correct" output for claims that are not encountered, as
 one would   expect.

---
 src/main.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main.c b/src/main.c
index b87b49f..690f621 100644
--- a/src/main.c
+++ b/src/main.c
@@ -831,6 +831,10 @@ timersPrint (const System sys)
 		eprintf ("bounded proof");
 	    }
 	}
+      else
+	{
+	  eprintf ("\tcorrect: does not occur");
+	}
       eprintf ("\n");
       cl_scan = cl_scan->next;
     }