From 0db2ca66595f19887d56e1fa2b210dd23d3aade0 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Wed, 17 Nov 2021 08:36:39 +0100 Subject: [PATCH] Fix mistake in phrase_to_file/2 definition --- src/lib/pio.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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), -- 2.54.0