# HG changeset patch
# User wenzelm
# Date 1605565147 -3600
# Node ID 5a616815cc44d9ef5314fc3b7749c4089f0315c8
# Parent  3402df4486de33401034f4a1bbb5d29a60693562
clarified signature: theory imports could be from other sessions;

diff -r 3402df4486de -r 5a616815cc44 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Mon Nov 16 23:17:16 2020 +0100
+++ b/src/Pure/Thy/sessions.scala	Mon Nov 16 23:19:07 2020 +0100
@@ -814,7 +814,7 @@
         })
 
     def session_chapters: List[(String, String)] =
-      build_topological_order.map(name => name -> apply(name).chapter)
+      imports_topological_order.map(name => name -> apply(name).chapter)
 
     override def toString: String =
       imports_graph.keys_iterator.mkString("Sessions.Structure(", ", ", ")")