# HG changeset patch # User wenzelm # Date 1008365572 -3600 # Node ID 4bdbc5a977f605fae57d8a3565f3398fe5368172 # Parent 0ffb824dc95c556e87d27e4476b3a45206c8c9b5 removed debug stuff; diff -r 0ffb824dc95c -r 4bdbc5a977f6 src/Pure/Isar/locale.ML --- a/src/Pure/Isar/locale.ML Fri Dec 14 22:30:54 2001 +0100 +++ b/src/Pure/Isar/locale.ML Fri Dec 14 22:32:52 2001 +0100 @@ -486,7 +486,6 @@ val (ctxt, elemss) = apsnd flat (foldl_map declare_element (import_ctxt, elements)); val type_env = frozen_tvars ctxt (mapfilter (ProofContext.default_type ctxt o #1) (fixes_of_elemss import_elemss @ fixes_of_elemss elemss)); - val FIXME = PolyML.print type_env; fun inst_elems ((name, ps), elems) = ((name, ps), elems); (* FIXME *)