From: Adrián Arroyo Calle Date: Wed, 17 Nov 2021 07:36:39 +0000 (+0100) Subject: Fix mistake in phrase_to_file/2 definition X-Git-Tag: v0.9.0~26^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0db2ca66595f19887d56e1fa2b210dd23d3aade0;p=scryer-prolog.git Fix mistake in phrase_to_file/2 definition --- 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),