src/Pure/Isar/locale.ML

--- a/src/Pure/Isar/locale.ML	Sat Dec 19 00:23:21 2020 +0100
+++ b/src/Pure/Isar/locale.ML	Fri Dec 18 10:37:26 2020 +0000
@@ -623,7 +623,7 @@
   end;
 
 fun add_registration_local_theory registration =
-  Local_Theory.mark_brittle #> add_registration_local_theory' registration
+  Local_Theory.revoke_reinitializability #> add_registration_local_theory' registration
 
 fun add_registration_proof registration ctxt = ctxt
   |> Proof_Context.set_stmt false