# HG changeset patch
# User blanchet
# Date 1391160212 -3600
# Node ID 777328c9f1eab597cd32d30a1873fb9282549943
# Parent  ba93ef2c0d27411a5346e4b8595591ddef8b3a22
tuned comment

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