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 26774ccb1c74);
authorwenzelm
Mon, 25 Sep 2023 19:27:17 +0200
changeset 78706 a4969ab077d2
parent 78705 fde0b195cb7d
child 78707 0b794165e9d4
omit pointless capture/release (see also 26774ccb1c74);
src/HOL/Tools/Quickcheck/narrowing_generators.ML file | annotate | diff | comparison | revisions 
--- 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, _) =
isabelle