From 6540fea4dafe4367ad27871fbe73834056770489 Mon Sep 17 00:00:00 2001 From: Paulo Moura Date: Wed, 12 May 2021 21:17:11 +0100 Subject: [PATCH] Fix at_end_of_stream/1 predicate missing check for instantiation error --- src/lib/builtins.pl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index d96e0a16..ac0a335c 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -1607,7 +1607,9 @@ stream_property(S, P) :- at_end_of_stream(S_or_a) :- - ( atom(S_or_a) -> + ( var(S_or_a) -> + throw(error(instantiation_error, at_end_of_stream/1)) + ; atom(S_or_a) -> stream_property(S, alias(S_or_a)) ; S = S_or_a ), -- 2.54.0