From 92fdc7e3803619cfea4666bd3096641c348f3384 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Thu, 17 Aug 2023 23:05:21 +0200
Subject: [PATCH] use newly available double_quotes/1 write option in
 portray_clause_//1

---
 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 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).
-- 
2.54.0