From: Markus Triska <triska@metalevel.at>
Date: Thu, 17 Aug 2023 21:05:21 +0000 (+0200)
Subject: use newly available double_quotes/1 write option in portray_clause_//1
X-Git-Tag: v0.9.2~8^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=92fdc7e3803619cfea4666bd3096641c348f3384;p=scryer-prolog.git

use newly available double_quotes/1 write option in portray_clause_//1
---

diff --git a/src/lib/format.pl b/src/lib/format.pl
index 32ad2ff9..9280156f 100644
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -526,7 +526,7 @@ var_name(V, Name=V, Num0, Num) :-
         Num is Num0 + 1.
 
 literal(Lit, VNs) -->
-        { write_term_to_chars(Lit, [quoted(true),variable_names(VNs)], Ls) },
+        { write_term_to_chars(Lit, [quoted(true),variable_names(VNs),double_quotes(true)], Ls) },
         seq(Ls).
 
 portray_(Var, VNs) --> { var(Var) }, !, literal(Var, VNs).