src/HOL/BNF/Tools/bnf_fp_n2m.ML

--- a/src/HOL/BNF/Tools/bnf_fp_n2m.ML	Fri Sep 20 15:42:41 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_fp_n2m.ML	Fri Sep 20 16:32:27 2013 +0200
@@ -355,7 +355,7 @@
       end;
 
     (* These results are half broken. This is deliberate. We care only about those fields that are
-       used by "primrec_new", "primcorec", and "datatype_new_compat". *)
+       used by "primrec_new", "primcorecursive", and "datatype_new_compat". *)
     val fp_res =
       ({Ts = fpTs,
         bnfs = steal #bnfs,