clarified signature: theory imports could be from other sessions;
authorwenzelm
Mon, 16 Nov 2020 23:19:07 +0100
changeset 72865 5a616815cc44
parent 72864 3402df4486de
child 72866 8d83acc5062e
clarified signature: theory imports could be from other sessions;
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(", ", ", ")")