diff --git a/src/lib/pio.pl b/src/lib/pio.pl index 18ceaab5..262e8a55 100644 --- a/src/lib/pio.pl +++ b/src/lib/pio.pl @@ -12,6 +12,7 @@ :- module(pio, [phrase_from_file/2, phrase_from_file/3, phrase_to_file/2, + phrase_to_file/3, phrase_to_stream/2 ]). @@ -109,6 +110,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)).