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/Isar/proof.ML
changeset 78705 fde0b195cb7d
parent 78469 53b59fa42696
child 79113 5109e4b2a292 
--- a/src/Pure/Isar/proof.ML	Mon Sep 25 17:37:52 2023 +0200
+++ b/src/Pure/Isar/proof.ML	Mon Sep 25 18:45:41 2023 +0200
@@ -1259,7 +1259,7 @@
     val test_proof =
       local_skip_proof true
       |> Unsynchronized.setmp testing true
-      |> Exn.interruptible_capture;
+      |> Exn.result;
 
     fun after_qed' (result_ctxt, results) state' = state'
       |> refine_goals print_rule result_ctxt (flat results)
isabelle