diff -r a0253e471aa4 -r d0037f04bba0 src/Pure/Thy/export_theory.scala
--- a/src/Pure/Thy/export_theory.scala	Thu Aug 04 12:43:33 2022 +0200
+++ b/src/Pure/Thy/export_theory.scala	Thu Aug 04 13:44:21 2022 +0200
@@ -34,7 +34,7 @@
       sessions_structure.build_requirements(List(session_name)).flatMap(session =>
         using(store.open_database(session)) { db =>
           val provider = Export.Provider.database(db, store.cache, session)
-          for (theory <- Export.read_theory_names(db, session))
+          for (theory <- provider.theory_names)
           yield {
             progress.echo("Reading theory " + theory)
             read_theory(provider, session, theory, cache = cache)