Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Mon, 28 Jul 2025 15:57:46 +0200
changeset 82916 fad4524389eb
parent 82909 e4fae2227594
child 82917 b7678301588c
tuned;
src/Pure/Tools/dump.scala file | annotate | diff | comparison | revisions 
--- 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 + ")")
isabelle