src/Pure/Isar/class_target.ML

--- a/src/Pure/Isar/class_target.ML	Fri Aug 14 21:36:14 2009 +0200
+++ b/src/Pure/Isar/class_target.ML	Wed Aug 19 19:35:46 2009 +0200
@@ -210,7 +210,7 @@
 fun activate_defs class thms thy =
   let
     val eq_morph = Element.eq_morphism thy thms;
-    fun amend cls thy = Locale.amend_registration eq_morph
+    fun amend cls thy = Locale.amend_registration_legacy eq_morph
       (cls, morphism thy cls) thy;
   in fold amend (heritage thy [class]) thy end;