From 2f6bc58650766ed8bbe69ad8cf6f8d46219af08a Mon Sep 17 00:00:00 2001
From: Ben Puryear <54869170+Ben10164@users.noreply.github.com>
Date: Thu, 18 Jul 2024 18:54:13 -0700
Subject: [PATCH] Syntax

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

diff --git a/lua/lazyvim/plugins/extras/lang/lean.lua b/lua/lazyvim/plugins/extras/lang/lean.lua
index 890dd8bd..b1fa689e 100644
--- a/lua/lazyvim/plugins/extras/lang/lean.lua
+++ b/lua/lazyvim/plugins/extras/lang/lean.lua
@@ -1,13 +1,18 @@
 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" },
+    dependencies = {
+      "nvim-lua/plenary.nvim",
+    },
 
     -- see details below for full configuration options
     opts = {