# HG changeset patch
# User wenzelm
# Date 1665834668 -7200
# Node ID cf57fd4dd27b4db9df0b549fb816d30a387f89d5
# Parent  fdf823f5b56f2625cd0fa91a9910de4a5237f051
tuned;

diff -r fdf823f5b56f -r cf57fd4dd27b src/Pure/PIDE/headless.scala
--- 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()
               }
             }