Start adding support for read_term and write_term

1 files changed, 2 insertions, 2 deletions

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;
 				}