changeset 52762 | c2a6e220f157 |
parent 52652 | ebdbd5c79a13 |
child 52850 | 9fff9f78240a |
--- a/src/Tools/try.ML Mon Jul 29 13:24:15 2013 +0200 +++ b/src/Tools/try.ML Mon Jul 29 13:28:27 2013 +0200 @@ -120,7 +120,7 @@ (fn {command_name} => if Keyword.is_theory_goal command_name andalso Options.default_bool auto then SOME - {delay = seconds (Options.default_real @{option auto_time_start}), + {delay = SOME (seconds (Options.default_real @{option auto_time_start})), pri = ~ weight, persistent = true, print_fn = fn _ => fn st =>