From 66a7040df6897e60ee1a513b95f4b04e687bbf0a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Sat, 3 Jul 2021 20:59:27 +0000 Subject: Add one global choicestack so we don't need to pass it around --- fns.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'fns.h') 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 *); -- cgit v1.2.3