# HG changeset patch
# User wenzelm
# Date 1753711066 -7200
# Node ID fad4524389eb708de4a076974de885b981018896
# Parent  e4fae222759420189d1364492d6d756fb723e990
tuned;

diff -r e4fae2227594 -r fad4524389eb src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Sun Jul 27 17:52:06 2025 +0200
+++ b/src/Pure/Tools/dump.scala	Mon Jul 28 15:57:46 2025 +0200
@@ -232,7 +232,7 @@
         session_name <-
           deps.sessions_structure.build_graph.restrict(selected_sessions.toSet).topological_order
         (name, theory_options) <- deps(session_name).used_theories
-        if !resources.session_base.loaded_theory(name.theory)
+        if !resources.session_base.loaded_theory(name)
         if {
           def warn(msg: String): Unit =
             progress.echo_warning("Skipping theory " + name + "  (" + msg + ")")