From e3d16947ee3da17f47d75c550fb9ecef9af7ac03 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 14 Aug 2004 13:17:37 +0000
Subject: [PATCH] - Output cleanup.

---
 src/arachne.c | 2 +-
 src/mgu.c     | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/arachne.c b/src/arachne.c
index a5128f0..3a5338b 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -415,7 +415,7 @@ bind_goal_regular (const Goal goal)
 	termPrint (p->nameterm);
 	eprintf (", ");
 	termPrint (r->nameterm);
-	eprintf (", index%i\n");
+	eprintf (", index %i\n", index);
 #endif
 	return termMguInTerm (goal.rd->message, rd->message,
 			      bind_this_unification);
diff --git a/src/mgu.c b/src/mgu.c
index a4ad886..a973141 100644
--- a/src/mgu.c
+++ b/src/mgu.c
@@ -254,3 +254,4 @@ termMguSubTerm (Term t1, Term t2, int (*iterator) (),
     }
   return flag;
 }
+