src/HOL/Library/Old_SMT/old_smt_config.ML
changeset 62519 a564458f94db
parent 60312 ee6f9a97205d
--- a/src/HOL/Library/Old_SMT/old_smt_config.ML	Sat Mar 05 13:57:25 2016 +0100
+++ b/src/HOL/Library/Old_SMT/old_smt_config.ML	Sat Mar 05 17:01:45 2016 +0100
@@ -177,8 +177,8 @@
 (* tools *)
 
 fun with_timeout ctxt f x =
-  TimeLimit.timeLimit (seconds (Config.get ctxt timeout)) f x
-  handle TimeLimit.TimeOut => raise Old_SMT_Failure.SMT Old_SMT_Failure.Time_Out
+  Timeout.apply (seconds (Config.get ctxt timeout)) f x
+    handle Timeout.TIMEOUT _ => raise Old_SMT_Failure.SMT Old_SMT_Failure.Time_Out
 
 
 (* certificates *)