1 files changed, 1 insertions, 1 deletions
diff --git a/fns.h b/fns.h
index 6d545e9..aea1ba8 100644
--- a/fns.h
+++ b/fns.h
@@ -15,7 +15,7 @@ Term *mknumber(int, vlong, double);
 Term *mkstring(Rune *);
 
 /* eval.c */
-int evalquery(Term *, Term *, Binding **);
+int evalquery(Term *, Term *, Binding **, Choicepoint **);
 int unify(Term *, Term *, Binding **);
 
 /* repl.c */