src/Tools/VSCode/src/server.scala

--- a/src/Tools/VSCode/src/server.scala	Fri Mar 27 12:28:55 2020 +0100
+++ b/src/Tools/VSCode/src/server.scala	Fri Mar 27 12:46:56 2020 +0100
@@ -318,8 +318,9 @@
         }
       session.phase_changed += session_phase
 
-      Isabelle_Process(
-        session, options, base_info.sessions_structure, modes = modes, logic = base_info.session)
+      val store = Sessions.store(options)
+      Isabelle_Process(session, options, base_info.sessions_structure, store,
+        modes = modes, logic = base_info.session)
     }
   }