# HG changeset patch
# User wenzelm
# Date 1659102539 -7200
# Node ID 9f540b73d665dc5db12799325ef8a298396db935
# Parent  8fde337b3dfb2b5c0a9581b5609787643a58b676
tuned;

diff -r 8fde337b3dfb -r 9f540b73d665 src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Fri Jul 29 15:47:21 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Fri Jul 29 15:48:59 2022 +0200
@@ -520,8 +520,7 @@
     val options = info.options
     val base = deps(session)
 
-    val hierarchy = deps.sessions_structure.build_hierarchy(session)
-
+    val session_hierarchy = deps.sessions_structure.build_hierarchy(session)
     val session_dir = Isabelle_System.make_directory(html_context.session_dir(info))
 
     Bytes.write(session_dir + session_graph_path,
@@ -579,7 +578,7 @@
     def present_theory(name: Document.Node.Name): Option[XML.Body] = {
       progress.expose_interrupt()
 
-      Build_Job.read_theory(db_context, hierarchy, name.theory).flatMap { command =>
+      Build_Job.read_theory(db_context, session_hierarchy, name.theory).flatMap { command =>
         if (verbose) progress.echo("Presenting theory " + name)
         val snapshot = Document.State.init.snippet(command)