src/Tools/try.ML

--- a/src/Tools/try.ML	Sat Aug 10 10:15:30 2013 +0200
+++ b/src/Tools/try.ML	Sat Aug 10 10:59:56 2013 +0200
@@ -123,6 +123,7 @@
          {delay = SOME (seconds (Options.default_real @{option auto_time_start})),
           pri = ~ weight,
           persistent = true,
+          strict = true,
           print_fn = fn _ => fn st =>
             let
               val state = Toplevel.proof_of st