src/Pure/Isar/bundle.ML

--- a/src/Pure/Isar/bundle.ML	Mon May 15 20:55:17 2023 +0200
+++ b/src/Pure/Isar/bundle.ML	Mon May 15 22:46:04 2023 +0200
@@ -203,7 +203,7 @@
   let val decls = maps (prep_bundle ctxt) args in
     ctxt
     |> Context_Position.set_visible false
-    |> notes [(Binding.empty_atts, decls)] |> #2
+    |> notes [(Binding.empty_atts, transform_bundle (Morphism.transfer_morphism' ctxt) decls)] |> #2
     |> Context_Position.restore_visible ctxt
   end;