fix charsio.
This commit is contained in:
parent
f9533c8757
commit
d7135f06e9
@ -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, []).
|
||||||
|
|
||||||
format_to_chars(Form, Args, OUT, []) :-
|
format_to_chars(Form, Args, OUT, L0) :-
|
||||||
open_mem_write_stream(Stream),
|
open_mem_write_stream(Stream),
|
||||||
format(Stream,Form,Args),
|
format(Stream,Form,Args),
|
||||||
peek_mem_write_stream(Stream, L0, O),
|
peek_mem_write_stream(Stream, L0, O),
|
||||||
|
Reference in New Issue
Block a user