Remove reposition option from phrase_from_file/2

diff --git a/src/lib/pio.pl b/src/lib/pio.pl
index 1576ec9af26ce5e5ff60b3fc3c8f84e0dc38816d..f13c9b852fafafe2d16a2ac8cc6a419b8f8ec8c5 100644 (file)
--- 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