From c2fe0876c29a8896a2f581f3419d902c5521c35f Mon Sep 17 00:00:00 2001 From: Paulo Moura Date: Wed, 12 May 2021 19:32:24 +0100 Subject: [PATCH] Fix set_stream_position/2 predicate missing argument in exception term --- src/lib/builtins.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index d96e0a16..89b52fd6 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -1627,7 +1627,7 @@ set_stream_position(S_or_a, Position) :- ; Position = position_and_lines_read(P, _), is_stream_position(Position) -> '$set_stream_position'(S_or_a, P) - ; throw(error(domain_error(stream_position, Position))) + ; throw(error(domain_error(stream_position, Position), set_stream_position/2)) ). callable(X) :- -- 2.54.0