diff options
Diffstat (limited to 'builtins.c')
| -rw-r--r-- | builtins.c | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -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; |