src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Sat Dec 31 11:35:28 2022 +0100
+++ b/src/Pure/PIDE/document.scala	Sat Dec 31 11:48:32 2022 +0100
@@ -103,7 +103,7 @@
       type Graph[A] = isabelle.Graph[Node.Name, A]
 
       def make_graph[A](entries: List[((Name, A), List[Name])]): Graph[A] =
-        Graph.make(entries, symmetric = true)(Ordering)
+        Graph.make(entries, converse = true)(Ordering)
     }
 
     final class Name private(val node: String, val master_dir: String, val theory: String) {