# HG changeset patch
# User haftmann
# Date 1254037945 -7200
# Node ID b8381161adb1bf4a5fe8c5a3d62634d3ae1597f9
# Parent  ec5976f4d3d8aeb1a86a233c2a776cdb71ca35b6
dropped dead code

diff -r ec5976f4d3d8 -r b8381161adb1 src/Pure/Isar/class.ML
--- a/src/Pure/Isar/class.ML	Sun Sep 27 09:52:23 2009 +0200
+++ b/src/Pure/Isar/class.ML	Sun Sep 27 09:52:25 2009 +0200
@@ -211,12 +211,8 @@
           #>> Element.Fixes
       | fork_syn x = pair x;
     val (elems, global_syntax) = fold_map fork_syn syntax_elems [];
-    val constrain = Element.Constrains ((map o apsnd o map_atyps)
-      (K (TFree (Name.aT, base_sort))) raw_supparams);
-      (*FIXME perhaps better: control type variable by explicit
-      parameter instantiation of import expression*)
 
-  in (((sups, supparam_names), (sup_sort, base_sort, supexpr)), ((*constrain :: *)elems, global_syntax)) end;
+  in (((sups, supparam_names), (sup_sort, base_sort, supexpr)), (elems, global_syntax)) end;
 
 val cert_class_spec = prep_class_spec (K I) cert_class_elems;
 val read_class_spec = prep_class_spec Sign.intern_class read_class_elems;