1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Sat Sep 11 10:28:44 2010 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Sat Sep 11 10:35:00 2010 +0200
     1.3 @@ -313,7 +313,6 @@
     1.4                         (minimize_command [] 1) state
     1.5      end
     1.6  
     1.7 -val setup =
     1.8 -  Auto_Counterexample.register_tool ("sledgehammer", auto_sledgehammer)
     1.9 +val setup = Auto_Tools.register_tool ("sledgehammer", auto_sledgehammer)
    1.10  
    1.11  end;