src/Tools/VSCode/src/server.scala

--- a/src/Tools/VSCode/src/server.scala	Mon Jan 09 19:34:16 2017 +0100
+++ b/src/Tools/VSCode/src/server.scala	Mon Jan 09 20:26:59 2017 +0100
@@ -199,10 +199,10 @@
           }
         }
 
-        val content = Build.session_content(options, false, session_dirs, session_name)
         val resources =
-          new VSCode_Resources(options, text_length, content.loaded_theories,
-              content.known_theories, content.syntax, log) {
+          new VSCode_Resources(options, text_length,
+            Build.session_content(options, false, session_dirs, session_name), log)
+          {
             override def commit(change: Session.Change): Unit =
               if (change.deps_changed || undefined_blobs(change.version.nodes).nonEmpty)
                 delay_load.invoke()