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 --- repl.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'repl.c') diff --git a/repl.c b/repl.c index 294eebb..bd584eb 100644 --- a/repl.c +++ b/repl.c @@ -15,10 +15,9 @@ repl(Term *database) print("?- "); Term *query = parse(fd, nil, 1); Binding *bindings = nil; - Choicepoint *choicestack = nil; int success; FindMore: - success = evalquery(database, query, &bindings, &choicestack); + success = evalquery(database, query, &bindings); if(success == 0) print("false.\n"); else{ -- cgit v1.2.3