# HG changeset patch
# User wenzelm
# Date 1666188067 -7200
# Node ID 65c5373f84b16a28e764ecd026538c5019c4395a
# Parent  561d501598f29dc636d89ef42b6280ddbb15e2b4
proper chapter for each ROOT file (amending b07f2ff55144);

diff -r 561d501598f2 -r 65c5373f84b1 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Tue Oct 18 11:31:35 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Wed Oct 19 16:01:07 2022 +0200
@@ -1149,6 +1149,7 @@
             info_roots += make_info(chapter_defs, options, select, dir, chapter, entry)
           case _ =>
         }
+        chapter = UNSORTED
       }
       info_roots.toList
     }