Add phrase_to_file/3 (phrase_to_file with Options)

diff --git a/src/lib/pio.pl b/src/lib/pio.pl
index 18ceaab5b57470c6e2eda507bcd5d09ce6aa5831..3b7ba4e1dc467cff165112b39ffc06b5ce5820b9 100644 (file)
--- a/src/lib/pio.pl
+++ b/src/lib/pio.pl
@@ -109,6 +109,9 @@ phrase_to_stream(GRBody, Stream) :-
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 phrase_to_file(GRBody, File) :-
-        setup_call_cleanup(open(File, write, Stream),
+        phrase_to_file(GRBody, File).
+
+phrase_to_file(GRBody, File, Options) :-
+        setup_call_cleanup(open(File, write, Stream, Options),
                            phrase_to_stream(GRBody, Stream),
                            close(Stream)).