diff -r 96b3d13606b1 -r a094bf81a496 src/Pure/Tools/simplifier_trace.ML
--- a/src/Pure/Tools/simplifier_trace.ML	Wed Oct 11 11:07:00 2023 +0200
+++ b/src/Pure/Tools/simplifier_trace.ML	Wed Oct 11 11:27:01 2023 +0200
@@ -414,7 +414,7 @@
         end
     in
       fn [serial_string, reply] =>
-        (case Exn.capture (fn () => body serial_string reply) () of
+        (case Exn.capture_body (fn () => body serial_string reply) of
           Exn.Res () => ()
         | Exn.Exn exn => if Exn.is_interrupt exn then () (*sic!*) else Exn.reraise exn)
     end;