From 328e3ce6a20540ffd8f98279405f9a1ed83d76d2 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Thu, 18 Jul 2024 12:46:27 +0200
Subject: [PATCH] style

---
 vscode-lean4/src/leanclient.ts | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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'