From 10a0f708b974554f596a978d1d193e904b1e094a Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sun, 14 Jun 2020 10:50:21 +0200
Subject: [PATCH] use format/3 to benefit from efficiency improvements

---
 src/lib/format.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/format.pl b/src/lib/format.pl
index a3a0f5a4..811a4c33 100644
--- 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),
-- 
2.54.0