diff --git a/vscode-lean4/src/leanclient.ts b/vscode-lean4/src/leanclient.ts
index fe74cadb2..d0a595df4 100644
--- a/vscode-lean4/src/leanclient.ts
+++ b/vscode-lean4/src/leanclient.ts
@@ -29,7 +29,11 @@ import {
 import * as ls from 'vscode-languageserver-protocol'
 
 import { LeanFileProgressParams, LeanFileProgressProcessingInfo, ServerStoppedReason } from '@leanprover/infoview-api'
-import { getElaborationDelay, getFallBackToStringOccurrenceHighlighting, shouldAutofocusOutput } from './config'
+import {
+    getElaborationDelay,
+    getFallBackToStringOccurrenceHighlighting,
+    shouldAutofocusOutput
+} from './config'
 import { logger } from './utils/logger'
 // @ts-ignore
 import { SemVer } from 'semver'