From: Markus Triska <triska@metalevel.at>
Date: Sun, 14 Jun 2020 08:50:21 +0000 (+0200)
Subject: use format/3 to benefit from efficiency improvements
X-Git-Tag: v0.8.127~31^2~1^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=10a0f708b974554f596a978d1d193e904b1e094a;p=scryer-prolog.git

use format/3 to benefit from efficiency improvements
---

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),