Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Graphview/layout.scala
changeset 75422 6c3190da9701
parent 75403 0f80086c000e
child 75424 5f8f0bf8c72c 
--- a/src/Tools/Graphview/layout.scala	Fri Apr 08 16:42:52 2022 +0200
+++ b/src/Tools/Graphview/layout.scala	Sat Apr 09 11:41:37 2022 +0200
@@ -235,7 +235,7 @@
   }
 
   private def count_crossings(graph: Graph, levels: List[Level]): Int =
-    levels.iterator.sliding(2).map {
+    levels.iterator.sliding(2).map(_.toList).map {
       case List(top, bot) =>
         top.iterator.zipWithIndex.map {
           case (outer_parent, outer_parent_index) =>
isabelle