--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML Mon Sep 25 17:37:52 2023 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML Mon Sep 25 18:45:41 2023 +0200
@@ -315,7 +315,7 @@
fun dynamic_value_strict opts cookie ctxt postproc t =
let
fun evaluator program _ vs_ty_t deps =
- Exn.interruptible_capture (value opts ctxt cookie)
+ Exn.result (value opts ctxt cookie)
(Code_Target.compilation_text ctxt target program deps true vs_ty_t)
in Exn.release (Code_Thingol.dynamic_value ctxt (Exn.map_res o postproc) evaluator t) end