--- 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
}