diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index 502827b6..92fc76a9 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -1450,7 +1450,7 @@ open(SourceSink, Mode, Stream, StreamOptions) :- ; \+ atom(Mode) -> throw(error(type_error(atom, Mode), open/4)) % 8.11.5.3d) ; nonvar(Stream) -> - throw(error(type_error(variable, Stream), open/4)) % 8.11.5.3f) + throw(error(uninstantiation_error(Stream), open/4)) % 8.11.5.3f) ; parse_stream_options(StreamOptions, [Alias, EOFAction, Reposition, Type], open/4), '$open'(SourceSink, Mode, Stream, Alias, EOFAction, Reposition, Type)