From d1d36f9af050983a649c8f319eda37a2f94c755b Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 10 May 2020 16:06:15 -0600 Subject: [PATCH] fix at_end_of_stream/1 (#479) --- src/prolog/lib/builtins.pl | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl index 0cf39457..76060ca5 100644 --- 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), -- 2.54.0