changeset 12514 | 4bdbc5a977f6 |
parent 12510 | 172d18ec3b54 |
child 12529 | d99716a53f59 |
--- 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 *)