Fix plugin arguments to Dafny server (#450)

dafny-lang · Nov 24, 2023 · a496a68 · a496a68
1 parent 716bf1d
commit a496a68
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/language/dafnyLanguageClient.ts b/src/language/dafnyLanguageClient.ts
@@ -96,7 +96,7 @@ function getMarkGhostStatementsArgument(): string {
 
 function getDafnyPluginsArgumentOld(): string[] {
   const plugins = Configuration.get<string[]>(ConfigurationConstants.LanguageServer.DafnyPlugins);
-  if(plugins === null || !Array.isArray(plugins)) {
+  if (plugins === null || !Array.isArray(plugins)) {
     return [];
   }
   return (
@@ -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}`)
   );
 }