Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Build/build_job.scala
changeset 83222 72e0b25a8f3c
parent 83221 f5143b09b192
child 83223 a225609e3344 
--- a/src/Pure/Build/build_job.scala	Tue Sep 23 12:06:37 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Tue Sep 23 12:36:36 2025 +0200
@@ -221,7 +221,8 @@
           var nodes_changed = Set.empty[Document_ID.Generic]
           var nodes_status = Document_Status.Nodes_Status.empty
 
-          val nodes_domain = build_context.deps(session_name).used_theories.map(_._1)
+          val nodes_domain =
+            build_context.deps(session_name).used_theories.map(_._1.symbolic_path)
 
           def nodes_status_progress(): Unit = {
             val state = session.get_state()
isabelle