src/HOL/Tools/BNF/bnf_fp_n2m.ML
changeset 55531 601ca8efa000
parent 55530 3dfb724db099
child 55539 0819931d652d
     1.1 --- a/src/HOL/Tools/BNF/bnf_fp_n2m.ML	Mon Feb 17 13:31:42 2014 +0100
     1.2 +++ b/src/HOL/Tools/BNF/bnf_fp_n2m.ML	Mon Feb 17 13:31:42 2014 +0100
     1.3 @@ -355,7 +355,7 @@
     1.4        end;
     1.5  
     1.6      (* These results are half broken. This is deliberate. We care only about those fields that are
     1.7 -       used by "primrec", "primcorecursive", and "datatype_new_compat". *)
     1.8 +       used by "primrec", "primcorecursive", and "datatype_compat". *)
     1.9      val fp_res =
    1.10        ({Ts = fpTs,
    1.11          bnfs = steal #bnfs,