src/Pure/Build/build_job.scala

--- a/src/Pure/Build/build_job.scala	Thu Jun 27 23:53:31 2024 +0200
+++ b/src/Pure/Build/build_job.scala	Fri Jun 28 00:15:34 2024 +0200
@@ -294,7 +294,7 @@
                     val args =
                       Protocol.Export.Args(
                         theory_name = theory_name, name = name, compress = compress)
-                    val body = Bytes(Symbol.encode(YXML.string_of_body(xml)))
+                    val body = YXML.bytes_of_body(xml, recode = Symbol.encode)
                     export_consumer.make_entry(session_name, args, body)
                   }
                 }