From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 10 May 2020 22:06:15 +0000 (-0600)
Subject: fix at_end_of_stream/1 (#479)
X-Git-Tag: v0.8.123~42
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d1d36f9af050983a649c8f319eda37a2f94c755b;p=scryer-prolog.git

fix at_end_of_stream/1 (#479)
---

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),