--- a/src/Pure/Tools/build.scala Sun Nov 21 17:42:11 2021 +0100
+++ b/src/Pure/Tools/build.scala Mon Nov 22 15:03:37 2021 +0100
@@ -521,7 +521,7 @@
override def root_dir: Path = presentation_dir
override def theory_session(name: Document.Node.Name): Sessions.Info =
deps.sessions_structure(deps(session).theory_qualifier(name))
- override def theory_exports: Map[String, Export_Theory.Theory] = exports
+ override def theory_exports: Theory_Exports = exports
}
Presentation.session_html(
session, deps, db_context, progress = progress,