--- a/src/Pure/Thy/sessions.scala Tue Jan 03 16:14:17 2023 +0100
+++ b/src/Pure/Thy/sessions.scala Tue Jan 03 16:53:43 2023 +0100
@@ -357,8 +357,11 @@
val theory_load_commands =
(for ((name, span) <- load_commands.iterator) yield name.theory -> span).toMap
- val loaded_files =
- load_commands.map({ case (name, spans) => dependencies.loaded_files(name, spans) })
+ val loaded_files: List[(String, List[Path])] =
+ for ((name, spans) <- load_commands) yield {
+ val (theory, files) = dependencies.loaded_files(name, spans)
+ theory -> files.map(file => Path.explode(file.node))
+ }
val session_files =
(theory_files ::: loaded_files.flatMap(_._2) :::