From 8e1041b5678490713b7675ed0ca07079bf59d4f4 Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 21 Apr 2005 12:04:45 +0000 Subject: [PATCH] - Minor output fixes. --- src/arachne.c | 2 +- src/claim.c | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/arachne.c b/src/arachne.c index 7d8c2df..085f28e 100644 --- a/src/arachne.c +++ b/src/arachne.c @@ -2362,7 +2362,7 @@ bind_goal (const Binding b) eprintf ("* Because "); termPrint (b->term); eprintf - (" is never sent from a regular run (STILL NEEDS LEMMA!), we only intruder construct it.\n"); + (" is never sent from a regular run, so we only intruder construct it.\n"); } know_only = 1; } diff --git a/src/claim.c b/src/claim.c index 02a897b..4e815b1 100644 --- a/src/claim.c +++ b/src/claim.c @@ -453,7 +453,7 @@ check_claim_niagree (const System sys, const int i) { cl->failed = statesIncrease (cl->failed); -//#ifdef DEBUG +#ifdef DEBUG warning ("Claim has failed!"); printf ("To be exact, claim label "); termPrint (cl->label); @@ -465,7 +465,7 @@ check_claim_niagree (const System sys, const int i) printf ("\ng: "); termmapPrint (g); printf ("\n"); -//#endif +#endif } termmapDelete (f);