diff -r 909167fdd367 -r c2a6e220f157 src/Tools/try.ML
--- 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 =>