--- a/src/HOL/BNF/Tools/bnf_lfp.ML Mon Nov 04 15:44:43 2013 +0100
+++ b/src/HOL/BNF/Tools/bnf_lfp.ML Mon Nov 04 16:53:43 2013 +0100
@@ -22,7 +22,7 @@
open BNF_Comp
open BNF_FP_Util
open BNF_FP_Def_Sugar
-open BNF_FP_Rec_Sugar
+open BNF_LFP_Rec_Sugar
open BNF_LFP_Util
open BNF_LFP_Tactics