tuned;

--- a/src/Pure/PIDE/headless.scala	Sat Oct 15 12:24:17 2022 +0200
+++ b/src/Pure/PIDE/headless.scala	Sat Oct 15 13:51:08 2022 +0200
@@ -350,8 +350,9 @@
               check_state()
 
               if (commit.isDefined && commit_cleanup_delay > Time.zero) {
-                if (use_theories_state.value.finished_result)
+                if (use_theories_state.value.finished_result) {
                   delay_commit_clean.revoke()
+                }
                 else delay_commit_clean.invoke()
               }
             }