Fix set_stream_position/2 predicate missing argument in exception term

This commit is contained in:
Paulo Moura
2021-05-12 19:32:24 +01:00
parent 39aebd7144
commit c2fe0876c2

View File

@@ -1627,7 +1627,7 @@ set_stream_position(S_or_a, Position) :-
; Position = position_and_lines_read(P, _), ; Position = position_and_lines_read(P, _),
is_stream_position(Position) -> is_stream_position(Position) ->
'$set_stream_position'(S_or_a, P) '$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) :- callable(X) :-