src/Pure/Isar/bundle.ML

--- a/src/Pure/Isar/bundle.ML	Thu Oct 29 10:03:03 2020 +0000
+++ b/src/Pure/Isar/bundle.ML	Thu Oct 29 18:23:28 2020 +0000
@@ -172,7 +172,7 @@
 
 fun init binding thy =
   thy
-  |> Generic_Target.init
+  |> Local_Theory.init
      {background_naming = Sign.naming_of thy,
       setup = set_target [] #> Proof_Context.init_global,
       conclude = conclude false binding #> #2}