diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 23:30:13 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 23:30:13 +0000 |
| commit | 85adea62d7e8eee9d0e3525d572325db4e58d21a (patch) | |
| tree | e976789abf464f9868f9a12778285329db785d7a /fns.h | |
| parent | fa83d3f1aba932e99833244ebb38b7415b142bd7 (diff) | |
Allow the repl to backtrack to give alternative results
Diffstat (limited to 'fns.h')
| -rw-r--r-- | fns.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 */ |