Fix formatting issues accidentally introduced in PR #450 (#451)

dafny-lang · Nov 24, 2023 · 0c13544 · 0c13544
1 parent a496a68
commit 0c13544
Showing 1 changed file with 2 additions and 2 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,7 +108,7 @@ 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 (