src/Tools/quickcheck.ML
changeset 62519 a564458f94db
parent 60666 3a0aaf894e21
child 62982 4b71cd0bfe14
--- a/src/Tools/quickcheck.ML	Sat Mar 05 13:57:25 2016 +0100
+++ b/src/Tools/quickcheck.ML	Sat Mar 05 17:01:45 2016 +0100
@@ -282,9 +282,9 @@
 
 fun limit timeout (limit_time, is_interactive) f exc () =
   if limit_time then
-    TimeLimit.timeLimit timeout f ()
-      handle TimeLimit.TimeOut =>
-        if is_interactive then exc () else raise TimeLimit.TimeOut
+    Timeout.apply timeout f ()
+      handle timeout_exn as Timeout.TIMEOUT _ =>
+        if is_interactive then exc () else Exn.reraise timeout_exn
   else f ();
 
 fun message ctxt s = if Config.get ctxt quiet then () else writeln s;