summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-03 18:58:07 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-03 18:58:07 +0000
commit7db38904537603dabe960f32fa505e27db89e27b (patch)
tree46ea8abfcc0656a7442363979838f5fa8f9c95a5 /main.c
parentd81447526cde6fa98dfa792a65f71acb78ef1398 (diff)
Start adding support for read_term and write_term
Diffstat (limited to 'main.c')
-rw-r--r--main.c5
1 files changed, 3 insertions, 2 deletions
diff --git a/main.c b/main.c
index 545927c..fd45838 100644
--- a/main.c
+++ b/main.c
@@ -1,5 +1,6 @@
#include <u.h>
#include <libc.h>
+#include <bio.h>
#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;