src/Pure/Build/export_theory.scala

--- a/src/Pure/Build/export_theory.scala	Fri Jun 28 15:59:45 2024 +0200
+++ b/src/Pure/Build/export_theory.scala	Fri Jun 28 16:51:55 2024 +0200
@@ -391,7 +391,7 @@
 
     for { entry <- theory_context.get(Export.PROOFS_PREFIX + id.serial) }
     yield {
-      val body = entry.yxml
+      val body = entry.yxml()
       val (typargs, (args, (prop_body, proof_body))) = {
         import XML.Decode._
         import Term_XML.Decode._