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 32ad2ff9335861b0bbc257004e95fcf3c3ae9217..9280156fe59bb7f2f01794a51aaa45a6c071d5be 100644 (file)
--- 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).