--- a/src/Pure/Thy/presentation.scala Wed Nov 17 11:57:34 2021 +0100
+++ b/src/Pure/Thy/presentation.scala Wed Nov 17 12:10:48 2021 +0100
@@ -511,7 +511,7 @@
val options = info.options
val base = deps(session)
- val hierarchy = deps.sessions_structure.hierarchy(session)
+ val hierarchy = deps.sessions_structure.build_hierarchy(session)
val hierarchy_theories = hierarchy.reverse.flatMap(a => deps(a).used_theories.map(_._1))
val session_dir = Isabelle_System.make_directory(html_context.session_dir(info))