use format/3 to benefit from efficiency improvements

2020-06-14 10:50:21 +02:00
parent 409d3c168d
commit 10a0f708b9
1 changed files with 1 additions and 1 deletions
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -460,7 +460,7 @@ portray_clause(Term) :-

 portray_clause(Stream, Term) :-
        phrase(portray_clause_(Term), Ls),
-        maplist(put_char(Stream), Ls).
+        format(Stream, "~s", [Ls]).

 portray_clause_(Term) -->
        { term_variables(Term, Vs),