use format/3 to benefit from efficiency improvements

diff --git a/src/lib/format.pl b/src/lib/format.pl
index a3a0f5a4ffa485f0ee32d85405a9dba888f770b9..811a4c33095764134fbeaa02f01171d8f338dc1f 100644 (file)
--- 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),