# HG changeset patch
# User wenzelm
# Date 1533325134 -7200
# Node ID ce18a3924864b655cb25cf8502299cd9d54c8dbe
# Parent  54a5043d4cd511fbc91c0e24ce07270ccc023f8f
tuned output;

diff -r 54a5043d4cd5 -r ce18a3924864 src/Pure/Thy/export_theory.scala
--- a/src/Pure/Thy/export_theory.scala	Fri Aug 03 20:14:13 2018 +0200
+++ b/src/Pure/Thy/export_theory.scala	Fri Aug 03 21:38:54 2018 +0200
@@ -158,7 +158,7 @@
 
   sealed case class Entity(kind: Kind.Value, name: String, serial: Long, pos: Position.T)
   {
-    override def toString: String = kind.toString + quote(name)
+    override def toString: String = kind.toString + " " + quote(name)
 
     def cache(cache: Term.Cache): Entity =
       Entity(kind, cache.string(name), serial, cache.position(pos))