--- a/src/HOL/Tools/BNF/bnf_comp.ML Sun Mar 09 18:43:38 2014 +0100
+++ b/src/HOL/Tools/BNF/bnf_comp.ML Fri Mar 07 23:09:10 2014 +0100
@@ -6,8 +6,6 @@
Composition of bounded natural functors.
*)
-val inline_ref = Unsynchronized.ref true;
-
signature BNF_COMP =
sig
val ID_bnf: BNF_Def.bnf