From 70b02135e45e0a3ec387e3fcd3eb5636ca64918b Mon Sep 17 00:00:00 2001
From: Ben Puryear <54869170+Ben10164@users.noreply.github.com>
Date: Thu, 18 Jul 2024 18:57:31 -0700
Subject: [PATCH] Update lean.lua

---
 lua/lazyvim/plugins/extras/lang/lean.lua | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/lua/lazyvim/plugins/extras/lang/lean.lua b/lua/lazyvim/plugins/extras/lang/lean.lua
index 96f3f32f..55ae3354 100644
--- a/lua/lazyvim/plugins/extras/lang/lean.lua
+++ b/lua/lazyvim/plugins/extras/lang/lean.lua
@@ -1,12 +1,10 @@
 return {
-  {
-    recommended = function()
-      return LazyVim.extras.wants({
-        ft = { "lean" },
-        root = { "lean-toolchain" },
-      })
-    end,
-  },
+  recommended = function()
+    return LazyVim.extras.wants({
+      ft = { "lean" },
+      root = { "lean-toolchain" },
+    })
+  end,
   {
     "Julian/lean.nvim",
     event = { "BufReadPre *.lean", "BufNewFile *.lean" },