1 files changed, 1 insertions, 0 deletions
diff --git a/fns.h b/fns.h
index aea1ba8..4e3afd2 100644
--- a/fns.h
+++ b/fns.h
@@ -17,6 +17,7 @@ Term *mkstring(Rune *);
 /* eval.c */
 int evalquery(Term *, Term *, Binding **, Choicepoint **);
 int unify(Term *, Term *, Binding **);
+void applybinding(Term *, Binding *);
 
 /* repl.c */
 void repl(Term *);