Simplify parsing a bit, and make sure the prolog loader calls read_term with the correct module to pick up the correct operators

1 files changed, 2 insertions, 3 deletions

diff --git a/builtins.c b/builtins.c
index cdea48a..0256699 100644
--- a/builtins.c
+++ b/builtins.c
@@ -893,7 +893,6 @@ int
 builtinreadterm(Term *goal, Binding **bindings, Module *module)
 {
 	USED(bindings);
-	USED(module);
 
 	Term *stream = goal->children;
 	Term *term = stream->next;
@@ -911,7 +910,7 @@ builtinreadterm(Term *goal, Binding **bindings, Module *module)
 		Throw(permissionerror(L"input", L"binary_stream", stream));
 
 	Term *realterm;
-	int error = readterm(stream, &realterm);
+	int error = readterm(stream, &realterm, module);
 	if(error)
 		Throw(realterm);
 
@@ -942,7 +941,7 @@ builtinreadterm(Term *goal, Binding **bindings, Module *module)
 		varsnames = varsandnames(uniquevars);
 		singlevars = singletons(allvars);
 	}
-	
+
 	Term *op;
 	for(op = options; op->tag == CompoundTerm; op = op->children->next){
 		Term *opkey = op->children->children;