From 18415c95a22b659b55b73ab5f075fc79b29ba2dc Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 14 Aug 2004 18:38:43 +0000
Subject: [PATCH] - Fixed bug in run forcing.

---
 src/arachne.c | 8 ++++----
 src/mgu.c     | 4 ++++
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/arachne.c b/src/arachne.c
index 16a6088..53728c1 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -297,14 +297,14 @@ bind_existing_run (const Goal goal, const Protocol p, const Role r,
       termPrint (p->nameterm);
       eprintf (", ");
       termPrint (r->nameterm);
-      eprintf ("\n");
+      eprintf (", forced run %i\n", forced_run);
     }
 #endif
   flag = 1;
   goal.rd->bind_index = index;
   for (run = 0; run < sys->maxruns; run++)
     {
-      if (forced_run >= 0 && forced_run == run)
+      if (forced_run == -2 || forced_run == run)
 	{
 	  if (sys->runs[run].protocol == p && sys->runs[run].role == r)
 	    {
@@ -739,7 +739,7 @@ iterate ()
       if (DEBUGL (3) && explanation != NULL)
 	{
 	  indentPrint ();
-	  eprintf ("%s ", explanation);
+	  eprintf ("ITERATE: %s", explanation);
 
 	  if (e_run != INVALID)
 	    eprintf ("#%i ", e_run);
@@ -758,7 +758,7 @@ iterate ()
 	      termPrint (e_term3);
 	      eprintf (" ");
 	    }
-	  eprintf ("\n");
+	  eprintf (" ]}>=--\n");
 	}
 #endif
 
diff --git a/src/mgu.c b/src/mgu.c
index 1e029cb..4af4332 100644
--- a/src/mgu.c
+++ b/src/mgu.c
@@ -63,6 +63,10 @@ termMguTerm (Term t1, Term t2)
       {
 	printf (", composite term");
       }
+    if (t->type != VARIABLE)
+      {
+	printf (" (bound roleconstant)");
+      }
     printf ("\n");
   }
 #endif