diff --git a/src/lib/pio.pl b/src/lib/pio.pl index 3b7ba4e1..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,7 +110,7 @@ phrase_to_stream(GRBody, Stream) :- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ phrase_to_file(GRBody, File) :- - phrase_to_file(GRBody, File). + phrase_to_file(GRBody, File, []). phrase_to_file(GRBody, File, Options) :- setup_call_cleanup(open(File, write, Stream, Options),