summaryrefslogtreecommitdiff
path: root/main.c
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 /main.c
parent7db38904537603dabe960f32fa505e27db89e27b (diff)
Add one global choicestack so we don't need to pass it around
Diffstat (limited to 'main.c')
-rw-r--r--main.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/main.c b/main.c
index fd45838..ed3d7db 100644
--- a/main.c
+++ b/main.c
@@ -48,8 +48,7 @@ main(int argc, char *argv[])
Term *goal;
for(goal = initgoals; goal != nil; goal = goal->next){
Binding *bindings = nil;
- Choicepoint *choicestack = nil;
- evalquery(database, goal, &bindings, &choicestack);
+ evalquery(database, goal, &bindings);
}
}