diff options
Diffstat (limited to 'repl.c')
-rw-r--r-- | repl.c | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -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{ |