src/Pure/Thy/sessions.scala
changeset 65374 ce09e947c1d5
parent 65360 3ff88fece1f6
child 65375 b722ee40c26c
     1.1 --- a/src/Pure/Thy/sessions.scala	Tue Apr 04 18:43:47 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Tue Apr 04 18:43:58 2017 +0200
     1.3 @@ -177,7 +177,7 @@
     1.4  
     1.5    object Tree
     1.6    {
     1.7 -    def apply(infos: Seq[(String, Info)]): Tree =
     1.8 +    def apply(infos: Traversable[(String, Info)]): Tree =
     1.9      {
    1.10        val graph1 =
    1.11          (Graph.string[Info] /: infos) {