src/HOL/Tools/BNF/bnf_fp_rec_sugar_transfer.ML

--- a/src/HOL/Tools/BNF/bnf_fp_rec_sugar_transfer.ML	Tue Oct 06 21:04:44 2015 +0200
+++ b/src/HOL/Tools/BNF/bnf_fp_rec_sugar_transfer.ML	Wed Oct 07 10:02:43 2015 +0200
@@ -154,7 +154,7 @@
        |> Thm.close_derivation
      end);
 
-val _ = Theory.setup (lfp_rec_sugar_interpretation Transfer_BNF.transfer_plugin
+val _ = Theory.setup (lfp_rec_sugar_interpretation transfer_plugin
   lfp_rec_sugar_transfer_interpretation);
 
 end;