diff -r ba93ef2c0d27 -r 777328c9f1ea src/Pure/Tools/sledgehammer_params.scala
--- a/src/Pure/Tools/sledgehammer_params.scala	Fri Jan 31 10:23:32 2014 +0100
+++ b/src/Pure/Tools/sledgehammer_params.scala	Fri Jan 31 10:23:32 2014 +0100
@@ -2,7 +2,7 @@
     Author:     Makarius
 
 Protocol for Sledgehammer parameters from ML (see also
-HOL/Tools/Sledgehammer/sledgehammer_isar.ML).  */
+HOL/Tools/Sledgehammer/sledgehammer_commands.ML).  */
 
 package isabelle