fix restart lsp vscode command

koka-lang · Aug 18, 2023 · 114bac0 · 114bac0
1 parent 4501558
commit 114bac0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/support/vscode/koka.language-koka/src/extension.ts b/support/vscode/koka.language-koka/src/extension.ts
@@ -212,7 +212,7 @@ function createCommands(
           }
 
           const {sdkPath, allSDKs} = scanForSDK()
-          const newConfig = new KokaConfig(config.vsConfig, sdkPath, allSDKs)
+          const newConfig = new KokaConfig(config, sdkPath, allSDKs)
           languageServer = new KokaLanguageServer()
           await languageServer.start(newConfig, context)