diff options
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -43,7 +43,8 @@ main(int argc, char *argv[]) Term *goal; for(goal = initgoals; goal != nil; goal = goal->next){ Binding *bindings = nil; - evalquery(database, goal, &bindings); + Choicepoint *choicestack = nil; + evalquery(database, goal, &bindings, &choicestack); } } |