--- a/src/Pure/Thy/export_theory.ML Wed Apr 19 23:27:55 2023 +0200
+++ b/src/Pure/Thy/export_theory.ML Thu Apr 20 11:57:34 2023 +0200
@@ -414,7 +414,7 @@
get_dependencies parents thy |> map_index (fn (i, dep) =>
let
val xname = string_of_int (i + 1);
- val name = Long_Name.implode [Context.theory_name thy, xname];
+ val name = Long_Name.implode [Context.theory_base_name thy, xname];
val markup = make_entity_markup name xname (#pos (#1 dep)) (#serial (#1 dep));
val body = encode_locale_dependency dep;
in XML.Elem (markup, body) end)