diff -r 3ff88fece1f6 -r ecefb68dc21d src/Tools/VSCode/src/server.scala
--- a/src/Tools/VSCode/src/server.scala	Mon Apr 03 16:50:44 2017 +0200
+++ b/src/Tools/VSCode/src/server.scala	Mon Apr 03 17:00:36 2017 +0200
@@ -225,8 +225,8 @@
           }
         }
 
-        val base = Sessions.session_base(options, session_name, session_dirs)
-        val resources = new VSCode_Resources(options, base, log)
+        val session_base = Sessions.session_base(options, session_name, session_dirs)
+        val resources = new VSCode_Resources(options, session_base, log)
           {
             override def commit(change: Session.Change): Unit =
               if (change.deps_changed || undefined_blobs(change.version.nodes).nonEmpty)