src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri May 27 10:30:08 2011 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri May 27 10:30:08 2011 +0200
@@ -408,6 +408,6 @@
                      (minimize_command [] 1) state
   end
 
-val setup = Auto_Tools.register_tool (auto, auto_sledgehammer)
+val setup = Try.register_tool (auto, auto_sledgehammer)
 
 end;