src/Pure/Isar/bundle.ML

     val ((_, _, _, lthy'), _) = lthy
       |> 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,
-       exit = Local_Theory.exit_of lthy} (Local_Theory.operations_of lthy)
+      {background_naming = Local_Theory.background_naming_of lthy, after_close = after_close}
+      (Local_Theory.operations_of lthy)
   end;
 
 in
 
 val unbundle = gen_activate Local_Theory.notes get_bundle;