src/Pure/Isar/bundle.ML

--- a/src/Pure/Isar/bundle.ML	Sat Oct 10 22:06:17 2020 +0200
+++ b/src/Pure/Isar/bundle.ML	Sat Oct 10 18:43:07 2020 +0000
@@ -215,9 +215,7 @@
       |> gen_includes get raw_incls
       |> prep_decl ([], []) I raw_elems;
   in
-    lthy' |> Local_Theory.init_target
-      {background_naming = Local_Theory.background_naming_of lthy, after_close = after_close}
-      (Local_Theory.operations_of lthy)
+    lthy' |> Local_Theory.begin_target after_close
   end;
 
 in