--- a/src/Tools/quickcheck.ML	Mon Sep 25 17:37:52 2023 +0200
+++ b/src/Tools/quickcheck.ML	Mon Sep 25 18:45:41 2023 +0200
@@ -262,7 +262,7 @@
       try tester v
     else
       let (* FIXME !?!? *)
-        val tester = Exn.interruptible_capture tester v
+        val tester = Exn.result tester v
       in
         (case Exn.get_res tester of
           NONE => SOME (Exn.release tester)