Remove reposition option from phrase_from_file/2

2023-09-25 02:18:05 -03:00
parent 63bb993c02
commit f644a76281
1 changed files with 5 additions and 3 deletions
--- 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