From d7135f06e9ab9576a70cd04677a067dc7d7315d3 Mon Sep 17 00:00:00 2001 From: Costa Vitor Date: Thu, 21 May 2009 19:15:12 -0500 Subject: [PATCH] fix charsio. --- library/charsio.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/charsio.yap b/library/charsio.yap index 1a224229f..eca9187de 100644 --- a/library/charsio.yap +++ b/library/charsio.yap @@ -34,7 +34,7 @@ format_to_chars(Form, Args, OUT) :- format_to_chars(Form, Args, OUT, []). -format_to_chars(Form, Args, OUT, []) :- +format_to_chars(Form, Args, OUT, L0) :- open_mem_write_stream(Stream), format(Stream,Form,Args), peek_mem_write_stream(Stream, L0, O),