diff -r 6f8779b0ed05 -r cde288fef097 src/Pure/PIDE/headless.scala
--- 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)
       }