src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Tue Jan 31 20:09:03 2023 +0100
+++ b/src/Pure/PIDE/document.scala	Tue Jan 31 20:37:46 2023 +0100
@@ -589,7 +589,7 @@
     def node_files: List[Node.Name] =
       node_name :: node.load_commands.flatMap(_.blobs_names)
 
-    def document_ready(name: Node.Name): Boolean =
+    def node_consolidated(name: Node.Name): Boolean =
       state.node_consolidated(version, name)