diff options
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -30,10 +30,7 @@ main(int argc, char *argv[]) if(fd < 0) exits("open"); Term *prog = parse(fd); - Term *clause; - for(clause = prog; clause != nil; clause = clause->next) - print("%S.\n", prettyprint(clause)); - + Term *goal; for(goal = initgoals; goal != nil; goal = goal->next) evalquery(prog, goal); |