summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 23:30:13 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 23:30:13 +0000
commit85adea62d7e8eee9d0e3525d572325db4e58d21a (patch)
treee976789abf464f9868f9a12778285329db785d7a /main.c
parentfa83d3f1aba932e99833244ebb38b7415b142bd7 (diff)
Allow the repl to backtrack to give alternative results
Diffstat (limited to 'main.c')
-rw-r--r--main.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/main.c b/main.c
index c30e5f7..cd1485c 100644
--- a/main.c
+++ b/main.c
@@ -43,7 +43,8 @@ main(int argc, char *argv[])
Term *goal;
for(goal = initgoals; goal != nil; goal = goal->next){
Binding *bindings = nil;
- evalquery(database, goal, &bindings);
+ Choicepoint *choicestack = nil;
+ evalquery(database, goal, &bindings, &choicestack);
}
}