# HG changeset patch
# User blanchet
# Date 1288082392 -7200
# Node ID 23adc2138704d6816a8f6a060535798889b6349c
# Parent  c0da8252b2fa607974cc228c1d789cfaf4979301
tuning

diff -r c0da8252b2fa -r 23adc2138704 src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Tue Oct 26 09:40:20 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Tue Oct 26 10:39:52 2010 +0200
@@ -362,6 +362,6 @@
                        (minimize_command [] 1) state
     end
 
-val setup = Auto_Tools.register_tool ("sledgehammer", auto_sledgehammer)
+val setup = Auto_Tools.register_tool (sledgehammerN, auto_sledgehammer)
 
 end;