Make operators local to each module, and implement some more correct prettyprint code, used by write_term

1 files changed, 2 insertions, 2 deletions

diff --git a/eval.c b/eval.c
index b300d11..13718ab 100644
--- a/eval.c
+++ b/eval.c
@@ -49,7 +49,7 @@ evalquery(Term *query, Binding **resultbindings)
 			continue;
 
 		if(debug)
-			print("Working goal: %S:%S\n", module->name, prettyprint(goal, 0, 0, 0));
+			print("Working goal: %S:%S\n", module->name, prettyprint(goal, 0, 0, 0, nil));
 
 		Binding *bindings = nil;
 		Clause *clause = nil;
@@ -63,7 +63,7 @@ evalquery(Term *query, Binding **resultbindings)
 		}else{
 			Predicate *pred = findpredicate(module->predicates, goal);
 			if(pred == nil){
-				print("No predicate matches: %S:%S\n", module->name, prettyprint(goal, 0, 0, 0));
+				print("No predicate matches: %S:%S\n", module->name, prettyprint(goal, 0, 0, 0, nil));
 				goto Backtrack;
 			}