src/Pure/PIDE/document.scala
changeset 45900 793bf5fa5fbf
parent 45474 f793dd5d84b2
child 46152 793cecd4ffc0
     1.1 --- a/src/Pure/PIDE/document.scala	Fri Dec 16 12:03:33 2011 +0100
     1.2 +++ b/src/Pure/PIDE/document.scala	Fri Dec 16 13:37:08 2011 +0100
     1.3 @@ -183,8 +183,7 @@
     1.4              for (imp <- header.imports; name <- names.get(imp)) yield(name)
     1.5            case Exn.Exn(_) => Nil
     1.6          }
     1.7 -      Library.topological_order(next,
     1.8 -        Library.sort_wrt((name: Node.Name) => name.node, nodes.keys.toList))
     1.9 +      Library.topological_order(next, nodes.keys.toList.sortBy(_.node))
    1.10      }
    1.11    }
    1.12