Fix mistake in phrase_to_file/2 definition

diff --git a/src/lib/pio.pl b/src/lib/pio.pl
index 3b7ba4e1dc467cff165112b39ffc06b5ce5820b9..262e8a5516e0f94562df0cf92ffafa8c61ab499a 100644 (file)
--- 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),