summaryrefslogtreecommitdiff
path: root/fns.h
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-03 20:59:27 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-03 20:59:27 +0000
commit66a7040df6897e60ee1a513b95f4b04e687bbf0a (patch)
tree501f486728cc1fd27b24a6227a131ad72684df84 /fns.h
parent7db38904537603dabe960f32fa505e27db89e27b (diff)
Add one global choicestack so we don't need to pass it around
Diffstat (limited to 'fns.h')
-rw-r--r--fns.h2
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 *);