--- a/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML Fri Apr 26 14:16:05 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML Sat Apr 27 11:37:50 2013 +0200
@@ -26,7 +26,7 @@
struct
open BNF_Util
-open BNF_Wrap
+open BNF_Ctr_Sugar
open BNF_Def
open BNF_FP
open BNF_FP_Def_Sugar_Tactics