--- a/src/Tools/VSCode/src/server.scala Tue May 26 11:25:33 2020 +0200
+++ b/src/Tools/VSCode/src/server.scala Tue May 26 11:58:42 2020 +0200
@@ -269,8 +269,8 @@
base_info.check_base
def build(no_build: Boolean = false): Build.Results =
- Build.build(options, build_heap = true, no_build = no_build, dirs = session_dirs,
- infos = base_info.infos, sessions = List(base_info.session))
+ Build.build(options, Sessions.Selection.session(base_info.session),
+ build_heap = true, no_build = no_build, dirs = session_dirs, infos = base_info.infos)
if (!build(no_build = true).ok) {
val start_msg = "Build started for Isabelle/" + base_info.session + " ..."