From 7db38904537603dabe960f32fa505e27db89e27b Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Sat, 3 Jul 2021 18:58:07 +0000 Subject: Start adding support for read_term and write_term --- main.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'main.c') diff --git a/main.c b/main.c index 545927c..fd45838 100644 --- a/main.c +++ b/main.c @@ -1,5 +1,6 @@ #include #include +#include #include "dat.h" #include "fns.h" @@ -34,14 +35,14 @@ main(int argc, char *argv[]) exits("open"); } - Term *database = parse(fd, 0); + Term *database = parse(fd, nil, 0); close(fd); if(parsetestfile){ int fd = open(parsetestfile, OREAD); if(fd < 0) exits("open"); - Term *clauses = parse(fd, 0); + Term *clauses = parse(fd, nil, 0); database = appendterm(database, clauses); Term *goal; -- cgit v1.2.3