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 --- main.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'main.c') 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); } } -- cgit v1.2.3