From: bakaq Date: Mon, 25 Sep 2023 05:18:05 +0000 (-0300) Subject: Remove reposition option from phrase_from_file/2 X-Git-Tag: remove~86^2^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f644a76281557085b61bc81965955f8e441e9e5c;p=scryer-prolog.git Remove reposition option from phrase_from_file/2 --- diff --git a/src/lib/pio.pl b/src/lib/pio.pl index 1576ec9a..f13c9b85 100644 --- a/src/lib/pio.pl +++ b/src/lib/pio.pl @@ -63,9 +63,11 @@ phrase_from_file(NT, File, Options) :- member(Type, [text,binary]) ; Type = text ), - setup_call_cleanup(open(File, read, Stream, [reposition(true)|Options]), - phrase_from_stream(NT, Stream), - close(Stream)) + setup_call_cleanup( + open(File, read, Stream, Options), + phrase_from_stream(NT, Stream), + close(Stream) + ) ). % How many chars to read from stream and buffer in each step