1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Tue Jul 26 18:11:38 2011 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Tue Jul 26 22:53:06 2011 +0200
     1.3 @@ -148,7 +148,7 @@
     1.4                              | _ => value)
     1.5      | NONE => (name, value)
     1.6  
     1.7 -(* Ensure that type systems such as "simple!" and "mangled_preds?" are handled
     1.8 +(* Ensure that type systems such as "simple!" and "mangled_guards?" are handled
     1.9     correctly. *)
    1.10  fun implode_param [s, "?"] = s ^ "?"
    1.11    | implode_param [s, "!"] = s ^ "!"