1 files changed, 1 insertions, 1 deletions
diff --git a/fns.h b/fns.h
index 01f4e6a..236b104 100644
--- a/fns.h
+++ b/fns.h
@@ -16,7 +16,7 @@ Term *mkstring(Rune *);
 Term *mklist(Term *);
 
 /* eval.c */
-int evalquery(Term *, Term *, Binding **, Choicepoint **);
+int evalquery(Term *, Term *, Binding **);
 int unify(Term *, Term *, Binding **);
 void applybinding(Term *, Binding *);