# HG changeset patch
# User wenzelm
# Date 1659102441 -7200
# Node ID 8fde337b3dfb2b5c0a9581b5609787643a58b676
# Parent  1635ee32e6d823d7cee176e5fc2e0d2d953b62d7
unused (see 3064e165c660);

diff -r 1635ee32e6d8 -r 8fde337b3dfb src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Fri Jul 29 08:45:51 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Fri Jul 29 15:47:21 2022 +0200
@@ -521,7 +521,6 @@
     val base = deps(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))