| changeset 68853 | d36f00510e40 |
| parent 68852 | becaeaa334ae |
| child 70427 | 973bf3e42e54 |
--- a/src/Pure/Isar/generic_target.ML Thu Aug 30 14:10:39 2018 +0200 +++ b/src/Pure/Isar/generic_target.ML Thu Aug 30 14:21:40 2018 +0200 @@ -370,7 +370,7 @@ background_declaration decl #> standard_declaration (K true) decl; val theory_registration = - Local_Theory.raw_theory o Context.theory_map o Locale.add_registration; + Local_Theory.raw_theory o Locale.add_registration_theory;