Store the calling module in each goal, and fix a bug where unification could leave behind some bindings even though the unification failed.

1 files changed, 1 insertions, 0 deletions

diff --git a/fns.h b/fns.h
index 4e713b0..7255166 100644
--- a/fns.h
+++ b/fns.h
@@ -21,6 +21,7 @@ Clause *copyclause(Clause *, uvlong *);
 int evalquery(Term *, Binding **);
 int unify(Term *, Term *, Binding **);
 void applybinding(Term *, Binding *);
+Goal *addgoals(Goal *, Term *, Module *);
 
 /* repl.c */
 void repl(void);