# HG changeset patch
# User traytel
# Date 1394230150 -3600
# Node ID abf4879d39f1aa71217e576f93607e1f6ac8429a
# Parent  dda076a32aea0e94a49a9afa4c192896142540f5
removed junk

diff -r dda076a32aea -r abf4879d39f1 src/HOL/Tools/BNF/bnf_comp.ML
--- 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