Make read_term understand the three read options:

	variables(Vars),
	variable_names(VarNames),
	singletons(Singles)

as required per the ISO standard

1 files changed, 1 insertions, 4 deletions

diff --git a/streams.c b/streams.c
index cc9db63..a11eeb7 100644
--- a/streams.c
+++ b/streams.c
@@ -192,16 +192,13 @@ isbinarystream(Term *t)
 }
 
 int
-readterm(Term *stream, Term *options, Term **term)
+readterm(Term *stream, Term **term)
 {
-	USED(options);
-
 	Stream *s = getstream(stream);
 	if(s == nil){
 		*term = existenceerror(L"stream", stream);
 		return 1;
 	}
-	print(": ");
 	*term = parse(0, s->bio, 1);
 
 	return 0;