From 7db38904537603dabe960f32fa505e27db89e27b Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Sat, 3 Jul 2021 18:58:07 +0000
Subject: Start adding support for read_term and write_term

---
 repl.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'repl.c')

diff --git a/repl.c b/repl.c
index 2b09596..294eebb 100644
--- a/repl.c
+++ b/repl.c
@@ -13,7 +13,7 @@ repl(Term *database)
 	int fd = 0; /* Standard input */
 	while(1){
 		print("?- ");
-		Term *query = parse(fd, 1);
+		Term *query = parse(fd, nil, 1);
 		Binding *bindings = nil;
 		Choicepoint *choicestack = nil;
 		int success;
@@ -28,7 +28,7 @@ FindMore:
 				while(bindings){
 					print("  %S = %S%s", 
 						bindings->name, 
-						prettyprint(bindings->value), 
+						prettyprint(bindings->value, 0, 0, 0), 
 						bindings->next ? " ,\n" : "");
 					bindings = bindings->next;
 				}
-- 
cgit v1.2.3