--- a/src/Pure/General/symbol.scala Thu Jun 27 23:53:31 2024 +0200
+++ b/src/Pure/General/symbol.scala Fri Jun 28 00:15:34 2024 +0200
@@ -533,7 +533,8 @@
def decode_yxml_failsafe(text: String, cache: XML.Cache = XML.Cache.none): XML.Body =
YXML.parse_body_failsafe(decode(text), cache = cache)
- def encode_yxml(body: XML.Body): String = encode(YXML.string_of_body(body))
+ def encode_yxml(body: XML.Body): String =
+ YXML.string_of_body(body, recode = encode)
def decode_strict(text: String): String = {
val decoded = decode(text)