diff -r 61a6b4b81d6e -r 38fe769658be src/Pure/PIDE/command.ML
--- a/src/Pure/PIDE/command.ML	Thu Sep 21 18:17:26 2023 +0200
+++ b/src/Pure/PIDE/command.ML	Thu Sep 21 23:45:03 2023 +0200
@@ -241,7 +241,9 @@
         let
           val _ = status tr Markup.failed;
           val _ = status tr Markup.finished;
-          val _ = if null errs then (status tr Markup.canceled; Exn.interrupt ()) else ();
+          val _ =
+            if null errs then (status tr Markup.canceled; Isabelle_Thread.interrupt_self ())
+            else ();
         in {failed = true, command = tr, state = st} end
     | SOME st' =>
         let