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