Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ML/exn_debugger.ML
changeset 78705 fde0b195cb7d
parent 62937 d5e7a76ec1a6
child 78716 97dfba4405e3 
--- a/src/Pure/ML/exn_debugger.ML	Mon Sep 25 17:37:52 2023 +0200
+++ b/src/Pure/ML/exn_debugger.ML	Mon Sep 25 18:45:41 2023 +0200
@@ -45,7 +45,7 @@
   Thread_Attributes.uninterruptible (fn restore_attributes => fn () =>
     let
       val _ = start_trace ();
-      val result = Exn.interruptible_capture (restore_attributes e) ();
+      val result = Exn.result (restore_attributes e) ();
       val trace = stop_trace ();
       val trace' =
         (case result of
isabelle