fix at_end_of_stream/1
@@ -1307,12 +1307,11 @@ stream_property(S, P) :-
at_end_of_stream(S_or_a) :-
( atom(S_or_a) ->
- stream_property(S, alias(A))
+ stream_property(S, alias(S_or_a))
; S = S_or_a
),
stream_property(S, end_of_stream(E)),
- !,
- ( E = at ; E = past ).
+ ( E = at -> true ; E = past ).
at_end_of_stream :-
current_input(S),
