Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
omit pointless capture/release (see also 469a375212c1);
authorwenzelm
Mon, 25 Sep 2023 19:28:14 +0200
changeset 78707 0b794165e9d4
parent 78706 a4969ab077d2
child 78708 72d2693fb0ec
omit pointless capture/release (see also 469a375212c1);
src/HOL/Library/code_test.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/code_test.ML	Mon Sep 25 19:27:17 2023 +0200
+++ b/src/HOL/Library/code_test.ML	Mon Sep 25 19:28:14 2023 +0200
@@ -141,8 +141,7 @@
 fun with_debug_dir name f =
   (Path.explode "$ISABELLE_HOME_USER" + Path.basic (name ^ serial_string ()))
   |> Isabelle_System.make_directory
-  |> Exn.capture f
-  |> Exn.release;
+  |> f
 
 fun dynamic_value_strict ctxt t compiler =
   let
isabelle