# 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 *)