--- a/src/Pure/Isar/overloading.ML Sat Oct 24 14:40:12 2020 +0000
+++ b/src/Pure/Isar/overloading.ML Sat Oct 24 15:16:54 2020 +0000
@@ -210,7 +210,7 @@
notes = Generic_Target.notes Generic_Target.theory_target_notes,
abbrev = Generic_Target.abbrev Generic_Target.theory_target_abbrev,
declaration = K Generic_Target.theory_declaration,
- theory_registration = Generic_Target.theory_registration,
+ theory_registration = Locale.add_registration_theory,
locale_dependency = fn _ => error "Not possible in overloading target",
pretty = pretty}
end;