From bf75e93f4c9709575f167e3ffd2b875d42341c27 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 14 Aug 2004 16:26:57 +0000
Subject: [PATCH] - Substitutions from roles have to be reset to compare
 existing runs.

---
 src/arachne.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arachne.c b/src/arachne.c
index abbb230..25af3ed 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -784,7 +784,7 @@ iterate ()
       else
 	{
 #ifdef DEBUG
-	  if (DEBUGL (4))
+	  if (DEBUGL (3))
 	    {
 	      indentPrint ();
 	      eprintf ("Trying to bind goal ");