src/Tools/VSCode/src/vscode_resources.scala

 }
 
 class VSCode_Resources(
   val options: Options,
   base: Sessions.Base,
-  log: Logger = No_Logger) extends Resources(base, log)
+  log: Logger = No_Logger) extends Resources(session_name = "", base, log)
 {
   private val state = Synchronized(VSCode_Resources.State())
 
 
   /* options */

 
         val thys =
           (for ((_, model) <- st.models.iterator if model.is_theory)
            yield (model.node_name, Position.none)).toList
 
-        val thy_files = thy_info.dependencies("", thys).deps.map(_.name)
+        val thy_files = thy_info.dependencies(thys).deps.map(_.name)
 
 
         /* auxiliary files */
 
         val stable_tip_version =