--- a/src/Pure/PIDE/headless.scala Sun Sep 21 19:39:52 2025 +0200
+++ b/src/Pure/PIDE/headless.scala Sun Sep 21 19:47:26 2025 +0200
@@ -141,7 +141,7 @@
trim: Boolean = false
): (Boolean, Use_Theories_State) = {
val nodes_status1 =
- nodes_status.update(resources, state, version, domain = domain, trim = trim)
+ nodes_status.update_nodes(resources, state, version, domain = domain, trim = trim)
val st1 = copy(last_update = Time.now(), nodes_status = nodes_status1)
(nodes_status1 != nodes_status, st1)
}