src/Pure/PIDE/document.scala
changeset 55777 90484dff4dc4
parent 55710 2d623ab55672
child 55782 47ed6a67a304
     1.1 --- a/src/Pure/PIDE/document.scala	Wed Feb 26 17:14:23 2014 +0100
     1.2 +++ b/src/Pure/PIDE/document.scala	Wed Feb 26 20:56:55 2014 +0100
     1.3 @@ -292,6 +292,8 @@
     1.4      val nodes: Nodes = Nodes.empty)
     1.5    {
     1.6      def is_init: Boolean = id == Document_ID.none
     1.7 +
     1.8 +    override def toString: String = "Version(" + id + ")"
     1.9    }
    1.10  
    1.11