more redable Document.Node.toString;
authorwenzelm
Thu Sep 01 22:29:57 2011 +0200 (2011-09-01 ago)
changeset 44642446fe2abe252
parent 44641 101c117494cd
child 44643 9987ae55e17b
more redable Document.Node.toString;
src/Pure/PIDE/document.scala
     1.1 --- a/src/Pure/PIDE/document.scala	Thu Sep 01 16:58:41 2011 +0200
     1.2 +++ b/src/Pure/PIDE/document.scala	Thu Sep 01 22:29:57 2011 +0200
     1.3 @@ -47,6 +47,7 @@
     1.4            case other: Name => node == other.node
     1.5            case _ => false
     1.6          }
     1.7 +      override def toString: String = theory
     1.8      }
     1.9  
    1.10      sealed abstract class Edit[A, B]