# HG changeset patch
# User wenzelm
# Date 1571083750 -7200
# Node ID 877fe56af1787394278d886fe997a3208f2a9eed
# Parent  1d063b7f79287cdc6bc97bd53c012055e79b5a32
proper build_graph to make session selection work as in "isabelle build";

diff -r 1d063b7f7928 -r 877fe56af178 src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Mon Oct 14 21:57:36 2019 +0200
+++ b/src/Pure/Tools/dump.scala	Mon Oct 14 22:09:10 2019 +0200
@@ -149,7 +149,7 @@
       def session_info(session_name: String): Sessions.Info =
         deps.sessions_structure(session_name)
 
-      val session_graph = deps.sessions_structure.imports_graph
+      val session_graph = deps.sessions_structure.build_graph
       val all_sessions = session_graph.topological_order
 
       val afp_sessions =
@@ -241,7 +241,7 @@
     {
       for {
         session_name <-
-          deps.sessions_structure.imports_graph.restrict(selected_session).topological_order
+          deps.sessions_structure.build_graph.restrict(selected_session).topological_order
         (name, theory_options) <- deps(session_name).used_theories
         if !resources.session_base.loaded_theory(name.theory)
         if {