src/Pure/Thy/sessions.scala

--- a/src/Pure/Thy/sessions.scala	Fri Aug 05 21:18:02 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Aug 05 21:29:25 2022 +0200
@@ -373,7 +373,6 @@
   ) {
     def check: Base_Info = if (errors.isEmpty) this else error(cat_lines(errors))
     def session: String = base.session_name
-    lazy val resources: Resources = new Resources(sessions_structure, check.base)
   }
 
   def base_info(options: Options,