From 72c9ab6224f58d92128519e67990f1c64b8cac75 Mon Sep 17 00:00:00 2001
From: Ben Puryear <54869170+Ben10164@users.noreply.github.com>
Date: Sun, 22 Sep 2024 10:31:27 -0700
Subject: [PATCH] Style

---
 lua/lazyvim/plugins/extras/lang/lean.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lua/lazyvim/plugins/extras/lang/lean.lua b/lua/lazyvim/plugins/extras/lang/lean.lua
index 31162fb4..7ace5dbc 100644
--- a/lua/lazyvim/plugins/extras/lang/lean.lua
+++ b/lua/lazyvim/plugins/extras/lang/lean.lua
@@ -6,7 +6,7 @@ return {
     })
   end,
   "Julian/lean.nvim",
-  commit = 'fd7262270c68667fae85ad4703ac84e34c84d5e1', -- See https://github.com/Julian/lean.nvim/issues/353
+  commit = "fd7262270c68667fae85ad4703ac84e34c84d5e1", -- See https://github.com/Julian/lean.nvim/issues/353
   event = { "BufReadPre *.lean", "BufNewFile *.lean" },
   dependencies = {
     "nvim-lua/plenary.nvim",