src/HOL/TPTP/TPTP_Interpret_Test.thy
changeset 62519 a564458f94db
parent 62505 9e2a65912111
child 63167 0909deb8059b
     1.1 --- a/src/HOL/TPTP/TPTP_Interpret_Test.thy	Sat Mar 05 13:57:25 2016 +0100
     1.2 +++ b/src/HOL/TPTP/TPTP_Interpret_Test.thy	Sat Mar 05 17:01:45 2016 +0100
     1.3 @@ -35,7 +35,7 @@
     1.4  ML {*
     1.5    (*default timeout is 1 min*)
     1.6    fun interpret timeout file thy =
     1.7 -    TimeLimit.timeLimit (Time.fromSeconds (if timeout = 0 then 60 else timeout))
     1.8 +    Timeout.apply (Time.fromSeconds (if timeout = 0 then 60 else timeout))
     1.9       (TPTP_Interpret.interpret_file
    1.10         false
    1.11         [Path.explode "$TPTP"]