summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'main.c')
-rw-r--r--main.c5
1 files changed, 4 insertions, 1 deletions
diff --git a/main.c b/main.c
index 504b02d..abad53b 100644
--- a/main.c
+++ b/main.c
@@ -29,7 +29,10 @@ main(int argc, char *argv[])
int fd = open(parsetestfile, OREAD);
if(fd < 0)
exits("open");
- parse(fd);
+ Term *prog = parse(fd);
+ Term *clause;
+ for(clause = prog; clause != nil; clause = clause->next)
+ print("%S.\n", prettyprint(clause));
}
exits(nil);