# HG changeset patch
# User wenzelm
# Date 1695662837 -7200
# Node ID a4969ab077d2d08ba33ccb41720ce17fee8da922
# Parent  fde0b195cb7d3386e0b66abc25e516987076b4b7
omit pointless capture/release (see also 26774ccb1c74);

diff -r fde0b195cb7d -r a4969ab077d2 src/HOL/Tools/Quickcheck/narrowing_generators.ML
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Sep 25 18:45:41 2023 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Sep 25 19:27:17 2023 +0200
@@ -211,8 +211,7 @@
 fun with_overlord_dir name f =
   (Path.explode "$ISABELLE_HOME_USER" + Path.basic (name ^ serial_string ()))
   |> Isabelle_System.make_directory
-  |> Exn.capture f
-  |> Exn.release
+  |> f
 
 fun value (contains_existentials, ((genuine_only, (quiet, verbose)), size))
     ctxt cookie (code_modules_bytes, _) =