1.1 --- a/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Wed Aug 14 13:15:28 2013 +0200
     1.2 +++ b/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Wed Aug 14 14:05:54 2013 +0200
     1.3 @@ -177,6 +177,8 @@
     1.4  
     1.5  fun resort_tfree S (TFree (s, _)) = TFree (s, S);
     1.6  
     1.7 +(* FIXME: merge with function of the same name in "bnf_fp_n2m.ML" (in the
     1.8 +   prim(co)rec repository) *)
     1.9  fun typ_subst_nonatomic inst (T as Type (s, Ts)) =
    1.10      (case AList.lookup (op =) inst T of
    1.11        NONE => Type (s, map (typ_subst_nonatomic inst) Ts)