# HG changeset patch
# User wenzelm
# Date 1665921240 -7200
# Node ID 7c0bdb31fdb488b84481967c15e3f78dcacb96b1
# Parent  f67e8a557b7d849d1cfceedd15db65f9960bbd90
tuned signature;

diff -r f67e8a557b7d -r 7c0bdb31fdb4 src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Sun Oct 16 13:18:54 2022 +0200
+++ b/src/Pure/PIDE/headless.scala	Sun Oct 16 13:54:00 2022 +0200
@@ -132,8 +132,8 @@
       already_committed: Map[Document.Node.Name, Document_Status.Node_Status] = Map.empty,
       result: Option[Exn.Result[Use_Theories_Result]] = None
     ) {
-      def update(new_nodes_status: Document_Status.Nodes_Status): Use_Theories_State =
-        copy(last_update = Time.now(), nodes_status = new_nodes_status)
+      def update(nodes_status1: Document_Status.Nodes_Status): Use_Theories_State =
+        copy(last_update = Time.now(), nodes_status = nodes_status1)
 
       def watchdog: Boolean =
         watchdog_timeout > Time.zero && Time.now() - last_update > watchdog_timeout