fix at_end_of_stream/1 (#479)

2020-05-10 16:06:15 -06:00
parent 56efb4ffba
commit d1d36f9af0
1 changed files with 2 additions and 3 deletions
--- a/src/prolog/lib/builtins.pl
+++ b/src/prolog/lib/builtins.pl
@@ -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),