src/Pure/PIDE/markup_tree.scala
changeset 57912 dd9550f84106
parent 56782 433cf57550fa
child 58463 0bf0e9788d54
     1.1 --- a/src/Pure/PIDE/markup_tree.scala	Tue Aug 12 15:31:24 2014 +0200
     1.2 +++ b/src/Pure/PIDE/markup_tree.scala	Tue Aug 12 15:46:20 2014 +0200
     1.3 @@ -261,7 +261,7 @@
     1.4     make_body(root_range, Nil, overlapping(root_range))
     1.5    }
     1.6  
     1.7 -  override def toString =
     1.8 +  override def toString: String =
     1.9      branches.toList.map(_._2) match {
    1.10        case Nil => "Empty"
    1.11        case list => list.mkString("Tree(", ",", ")")