src/Tools/try.ML

--- a/src/Tools/try.ML	Thu Apr 16 13:48:10 2015 +0200
+++ b/src/Tools/try.ML	Thu Apr 16 14:18:32 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.unknown_proof o Toplevel.keep (ignore o try_tools o Toplevel.proof_of)))
+    (Scan.succeed (Toplevel.keep (ignore o try_tools o Toplevel.proof_of)))
 
 
 (* automatic try (TTY) *)