src/Pure/Thy/export_theory.scala
changeset 68718 ce18a3924864
parent 68717 54a5043d4cd5
child 68726 782d6b89fb19
     1.1 --- a/src/Pure/Thy/export_theory.scala	Fri Aug 03 20:14:13 2018 +0200
     1.2 +++ b/src/Pure/Thy/export_theory.scala	Fri Aug 03 21:38:54 2018 +0200
     1.3 @@ -158,7 +158,7 @@
     1.4  
     1.5    sealed case class Entity(kind: Kind.Value, name: String, serial: Long, pos: Position.T)
     1.6    {
     1.7 -    override def toString: String = kind.toString + quote(name)
     1.8 +    override def toString: String = kind.toString + " " + quote(name)
     1.9  
    1.10      def cache(cache: Term.Cache): Entity =
    1.11        Entity(kind, cache.string(name), serial, cache.position(pos))