src/Tools/VSCode/src/vscode_resources.scala

--- a/src/Tools/VSCode/src/vscode_resources.scala	Mon Jan 09 20:31:00 2017 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Mon Jan 09 20:47:45 2017 +0100
@@ -35,7 +35,7 @@
 class VSCode_Resources(
   val options: Options,
   val text_length: Text.Length,
-  base: Build.Session_Content,
+  base: Sessions.Base,
   log: Logger = No_Logger) extends Resources(base, log)
 {
   private val state = Synchronized(VSCode_Resources.State())