Fix plugin arguments to Dafny server

Dafny's `--plugin` argument no longer expects an index before the path to the plugin DLL.
dafny-lang · Nov 22, 2023 · d14ded6 · d14ded6
1 parent 716bf1d
commit d14ded6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/language/dafnyLanguageClient.ts b/src/language/dafnyLanguageClient.ts
@@ -108,13 +108,13 @@ function getDafnyPluginsArgumentOld(): string[] {
 
 function getDafnyPluginsArgument(): string[] {
   const plugins = Configuration.get<string[]>(ConfigurationConstants.LanguageServer.DafnyPlugins);
-  if(plugins === null || !Array.isArray(plugins)) {
+  if (plugins === null || !Array.isArray(plugins)) {
     return [];
   }
   return (
     plugins
       .filter(plugin => plugin !== null && plugin !== '')
-      .map((plugin, i) => `--plugin:${i}=${plugin}`)
+      .map(plugin => `--plugin:${plugin}`)
   );
 }