author | wenzelm |
Fri, 29 Jul 2022 15:47:21 +0200 | |
changeset 75720 | 8fde337b3dfb |
parent 75714 | 1635ee32e6d8 |
child 75721 | 9f540b73d665 |
--- 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))