--- 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)