--- a/src/Pure/Thy/sessions.scala Fri Dec 16 17:51:52 2022 +0100
+++ b/src/Pure/Thy/sessions.scala Fri Dec 16 18:12:48 2022 +0100
@@ -266,7 +266,9 @@
val info = sessions_structure(session_name)
try {
val deps_base = info.deps_base(session_bases)
- val resources = new Resources(sessions_structure, deps_base)
+ val session_background =
+ Sessions.Background(base = deps_base, sessions_structure = sessions_structure)
+ val resources = new Resources(session_background)
if (verbose || list_files) {
val groups =