--- a/src/Tools/VSCode/src/vscode_resources.scala Mon Apr 03 14:29:44 2017 +0200
+++ b/src/Tools/VSCode/src/vscode_resources.scala Mon Apr 03 16:36:45 2017 +0200
@@ -42,7 +42,7 @@
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())
@@ -165,7 +165,7 @@
(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 */