--- a/src/Tools/VSCode/src/build_vscode.scala Tue Oct 31 17:15:49 2017 +0100
+++ b/src/Tools/VSCode/src/build_vscode.scala Tue Oct 31 17:56:28 2017 +0100
@@ -20,7 +20,7 @@
def build_grammar(options: Options, progress: Progress = No_Progress)
{
val logic = Grammar.default_logic
- val keywords = Sessions.session_base(options, logic).overall_syntax.keywords
+ val keywords = Sessions.session_base_info(options, logic).check.overall_syntax.keywords
val output_path = extension_dir + Path.explode(Grammar.default_output(logic))
progress.echo(output_path.implode)