summaryrefslogtreecommitdiff
path: root/fns.h
diff options
context:
space:
mode:
Diffstat (limited to 'fns.h')
-rw-r--r--fns.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/fns.h b/fns.h
index 54db8dc..6d545e9 100644
--- a/fns.h
+++ b/fns.h
@@ -16,6 +16,7 @@ Term *mkstring(Rune *);
/* eval.c */
int evalquery(Term *, Term *, Binding **);
+int unify(Term *, Term *, Binding **);
/* repl.c */
void repl(Term *);