src/Pure/Thy/export_theory.scala

--- a/src/Pure/Thy/export_theory.scala	Tue Nov 02 14:05:02 2021 +0100
+++ b/src/Pure/Thy/export_theory.scala	Tue Nov 02 15:40:02 2021 +0100
@@ -183,7 +183,7 @@
     val DOCUMENT_TEXT = "document_text"
     val PROOF_TEXT = "proof_text"
 
-    def export(kind: String): String =
+    def `export`(kind: String): String =
       kind match {
         case Markup.TYPE_NAME => TYPE
         case Markup.CONSTANT => CONST