src/Tools/try.ML

--- a/src/Tools/try.ML	Wed Apr 22 19:48:32 2015 +0200
+++ b/src/Tools/try.ML	Wed Apr 22 20:14:43 2015 +0200
@@ -77,7 +77,7 @@
 val _ =
   Outer_Syntax.command @{command_keyword try}
     "try a combination of automatic proving and disproving tools"
-    (Scan.succeed (Toplevel.keep (ignore o try_tools o Toplevel.proof_of)))
+    (Scan.succeed (Toplevel.keep_proof (ignore o try_tools o Toplevel.proof_of)))
 
 
 (* automatic try (TTY) *)