src/Tools/quickcheck.ML

--- a/src/Tools/quickcheck.ML	Fri Nov 26 16:25:58 2021 +0100
+++ b/src/Tools/quickcheck.ML	Tue Nov 30 11:31:07 2021 +0100
@@ -281,7 +281,7 @@
 
 fun limit timeout (limit_time, is_interactive) f exc () =
   if limit_time then
-    Timeout.apply timeout f ()
+    Timeout.apply_physical timeout f ()
       handle timeout_exn as Timeout.TIMEOUT _ =>
         if is_interactive then exc () else Exn.reraise timeout_exn
   else f ();