--- a/src/Pure/Isar/class_declaration.ML Sat Oct 24 14:40:12 2020 +0000
+++ b/src/Pure/Isar/class_declaration.ML Sat Oct 24 15:16:54 2020 +0000
@@ -327,7 +327,7 @@
|-> (fn (param_map, params, assm_axiom) =>
`(fn thy => calculate thy class sups base_sort param_map assm_axiom)
#-> (fn (base_morph, eq_morph, export_morph, some_axiom, some_assm_intro, of_class) =>
- Locale.add_registration_theory
+ Locale.add_registration_theory'
{inst = (class, base_morph),
mixin = Option.map (rpair true) eq_morph,
export = export_morph}