From 85adea62d7e8eee9d0e3525d572325db4e58d21a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 23:30:13 +0000 Subject: Allow the repl to backtrack to give alternative results --- fns.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'fns.h') 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 */ -- cgit v1.2.3