diff -r 5a616815cc44 -r 8d83acc5062e src/Tools/VSCode/src/vscode_resources.scala
--- a/src/Tools/VSCode/src/vscode_resources.scala	Mon Nov 16 23:19:07 2020 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Mon Nov 16 23:27:43 2020 +0100
@@ -73,7 +73,7 @@
     val options: Options,
     session_base_info: Sessions.Base_Info,
     log: Logger = No_Logger)
-  extends Resources(session_base_info.sessions_structure, session_base_info.check_base, log = log)
+  extends Resources(session_base_info.sessions_structure, session_base_info.check.base, log = log)
 {
   resources =>