# HG changeset patch
# User wenzelm
# Date 1695662894 -7200
# Node ID 0b794165e9d4a66fc15dc4cef5282783f4261e11
# Parent  a4969ab077d2d08ba33ccb41720ce17fee8da922
omit pointless capture/release (see also 469a375212c1);

diff -r a4969ab077d2 -r 0b794165e9d4 src/HOL/Library/code_test.ML
--- 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