src/Pure/Thy/export_theory.scala

--- a/src/Pure/Thy/export_theory.scala	Sun May 13 20:04:59 2018 +0200
+++ b/src/Pure/Thy/export_theory.scala	Sun May 13 20:24:33 2018 +0200
@@ -11,7 +11,7 @@
 {
   /* entities */
 
-  sealed case class Entity(name: String, kind: String, serial: Long, pos: Position.T)
+  sealed case class Entity(name: String, serial: Long, pos: Position.T)
   {
     override def toString: String = name
   }
@@ -23,10 +23,9 @@
     tree match {
       case XML.Elem(Markup(Markup.ENTITY, props), body) =>
         val name = Markup.Name.unapply(props) getOrElse err()
-        val kind = Markup.Kind.unapply(props) getOrElse err()
         val serial = Markup.Serial.unapply(props) getOrElse err()
         val pos = props.filter({ case (a, _) => Markup.POSITION_PROPERTIES(a) })
-        (Entity(name, kind, serial, pos), body)
+        (Entity(name, serial, pos), body)
       case _ => err()
     }
   }