src/HOL/Tools/Predicate_Compile/code_prolog.ML
changeset 62519 a564458f94db
parent 61424 c3658c18b7bc
child 62549 9498623b27f0
     1.1 --- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Sat Mar 05 13:57:25 2016 +0100
     1.2 +++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Sat Mar 05 17:01:45 2016 +0100
     1.3 @@ -882,7 +882,7 @@
     1.4      val args' = map (rename_vars_term renaming) args
     1.5      val prog = prelude system ^ query system nsols (query_rel, args') vnames' ^ write_program p
     1.6      val _ = tracing ("Generated prolog program:\n" ^ prog)
     1.7 -    val solution = TimeLimit.timeLimit timeout (fn prog =>
     1.8 +    val solution = Timeout.apply timeout (fn prog =>
     1.9        Isabelle_System.with_tmp_file "prolog_file" "" (fn prolog_file =>
    1.10          (File.write prolog_file prog; invoke system prolog_file))) prog
    1.11      val _ = tracing ("Prolog returned solution(s):\n" ^ solution)