# HG changeset patch
# User wenzelm
# Date 1666038739 -7200
# Node ID cdef2c8beccf496c5d05e183718c8ce11223084b
# Parent  79ef5d0fff008c4357926aa75fe35a9ee338fe2c
more robust, e.g. for "isabelle dump";

diff -r 79ef5d0fff00 -r cdef2c8beccf src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Mon Oct 17 22:24:32 2022 +0200
+++ b/src/Pure/PIDE/headless.scala	Mon Oct 17 22:32:19 2022 +0200
@@ -372,7 +372,7 @@
           state.stable_tip_version match {
             case None => use_theories_state.change(apply_changed)
             case Some(version) =>
-              val (theory_progress, finished_result) =
+              val theory_progress =
                 use_theories_state.change_result { st =>
                   val changed_st = apply_changed(st)
 
@@ -396,17 +396,17 @@
                       if p1 > 0 && !st.nodes_status.get(name).map(_.percentage).contains(p1)
                     } yield Progress.Theory(name.theory, percentage = Some(p1))).toList
 
-                  ((theory_progress, st1.finished_result), st1)
+                  if (commit.isDefined && commit_cleanup_delay > Time.zero) {
+                    if (st1.finished_result) delay_commit_clean.revoke()
+                    else delay_commit_clean.invoke()
+                  }
+
+                  (theory_progress, st1)
                 }
 
               theory_progress.foreach(progress.theory)
 
               check_state(state = state)
-
-              if (commit.isDefined && commit_cleanup_delay > Time.zero) {
-                if (finished_result) delay_commit_clean.revoke()
-                else delay_commit_clean.invoke()
-              }
           }
         }
       }