1 files changed, 1 insertions, 1 deletions
diff --git a/eval.c b/eval.c
index 3a6ab38..3477141 100644
--- a/eval.c
+++ b/eval.c
@@ -6,7 +6,6 @@
 
 Goal *addgoals(Goal *, Term *);
 Term *findclause(Term *, Term *, Binding **);
-int unify(Term *, Term *, Binding **);
 int equalterms(Term *, Term *);
 void applybinding(Term *, Binding *);
 Goal *copygoals(Goal *);
@@ -77,6 +76,7 @@ Retry:
 Backtrack:
 				if(choicestack == nil)
 					return 0;
+				print("Backtracking..\n");
 				Choicepoint *cp = choicestack;
 				choicestack = cp->next;
 				/* freegoals(goals) */