src/Pure/Isar/class.ML
changeset 30335 b3ef64cadcad
parent 30242 aea5d7fa7ef5
child 30344 10a67c5ddddb
     1.1 --- a/src/Pure/Isar/class.ML	Sat Mar 07 11:31:41 2009 +0100
     1.2 +++ b/src/Pure/Isar/class.ML	Sat Mar 07 11:32:31 2009 +0100
     1.3 @@ -66,8 +66,7 @@
     1.4  
     1.5      (* canonical interpretation *)
     1.6      val base_morph = inst_morph
     1.7 -      $> Morphism.binding_morphism
     1.8 -           (Binding.add_prefix false (class_prefix class))
     1.9 +      $> Morphism.binding_morphism (Binding.prefix false (class_prefix class))
    1.10        $> Element.satisfy_morphism (the_list wit);
    1.11      val defs = these_defs thy sups;
    1.12      val eq_morph = Element.eq_morphism thy defs;