1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Sun Feb 05 17:43:15 2012 +0100
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Feb 06 23:01:01 2012 +0100
     1.3 @@ -163,7 +163,7 @@
     1.4             error ("Unknown parameter: " ^ quote name ^ "."))
     1.5  
     1.6  
     1.7 -(* Ensures that type encodings such as "mono_simple?" and "poly_guards!!" are
     1.8 +(* Ensures that type encodings such as "mono_native?" and "poly_guards!!" are
     1.9     read correctly. *)
    1.10  val implode_param = strip_spaces_except_between_idents o space_implode " "
    1.11