summaryrefslogtreecommitdiff
path: root/repl.c
diff options
context:
space:
mode:
Diffstat (limited to 'repl.c')
-rw-r--r--repl.c3
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{