--- a/src/HOL/Tools/SMT/smt_config.ML Sat Mar 05 13:57:25 2016 +0100
+++ b/src/HOL/Tools/SMT/smt_config.ML Sat Mar 05 17:01:45 2016 +0100
@@ -196,8 +196,8 @@
(* tools *)
fun with_time_limit ctxt timeout_config f x =
- TimeLimit.timeLimit (seconds (Config.get ctxt timeout_config)) f x
- handle TimeLimit.TimeOut => raise SMT_Failure.SMT SMT_Failure.Time_Out
+ Timeout.apply (seconds (Config.get ctxt timeout_config)) f x
+ handle Timeout.TIMEOUT _ => raise SMT_Failure.SMT SMT_Failure.Time_Out
fun with_timeout ctxt = with_time_limit ctxt timeout