From f02279c5f300c37b350b2a2b947a0a1c4093da78 Mon Sep 17 00:00:00 2001
From: Ben Puryear <54869170+Ben10164@users.noreply.github.com>
Date: Sun, 22 Sep 2024 10:25:17 -0700
Subject: [PATCH] Update lean.lua

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

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