# HG changeset patch
# User wenzelm
# Date 1384791844 -3600
# Node ID 865712316b5f98f933a494e7ac37ff9d779ec8ae
# Parent  1f77110c94ef609bcfd548d01e33e09726e7244f
tuned;

diff -r 1f77110c94ef -r 865712316b5f src/Pure/PIDE/document.scala
--- a/src/Pure/PIDE/document.scala	Mon Nov 18 17:16:56 2013 +0100
+++ b/src/Pure/PIDE/document.scala	Mon Nov 18 17:24:04 2013 +0100
@@ -84,9 +84,9 @@
           case other: Name => node == other.node
           case _ => false
         }
-      override def toString: String = theory
 
       def is_theory: Boolean = !theory.isEmpty
+      override def toString: String = if (is_theory) theory else node
     }