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