Add one global choicestack so we don't need to pass it around

1 files changed, 1 insertions, 2 deletions

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{