--- a/src/HOL/Tools/BNF/bnf_fp_n2m.ML Wed Feb 19 08:34:32 2014 +0100
+++ b/src/HOL/Tools/BNF/bnf_fp_n2m.ML Wed Feb 19 08:34:33 2014 +0100
@@ -7,7 +7,7 @@
signature BNF_FP_N2M =
sig
- val construct_mutualized_fp: BNF_FP_Util.fp_kind -> typ list -> BNF_FP_Def_Sugar.fp_sugar list ->
+ val construct_mutualized_fp: BNF_Util.fp_kind -> typ list -> BNF_FP_Def_Sugar.fp_sugar list ->
binding list -> (string * sort) list -> typ list * typ list list -> BNF_Def.bnf list ->
local_theory -> BNF_FP_Util.fp_result * local_theory
end;