From c317b240ca9ccdef9c355b1e80b34000e8ea4925 Mon Sep 17 00:00:00 2001
From: Ben Puryear <54869170+Ben10164@users.noreply.github.com>
Date: Thu, 18 Jul 2024 18:55:15 -0700
Subject: [PATCH] More syntax

---
 lua/lazyvim/plugins/extras/lang/lean.lua | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lua/lazyvim/plugins/extras/lang/lean.lua b/lua/lazyvim/plugins/extras/lang/lean.lua
index b1fa689e..96f3f32f 100644
--- a/lua/lazyvim/plugins/extras/lang/lean.lua
+++ b/lua/lazyvim/plugins/extras/lang/lean.lua
@@ -4,8 +4,8 @@ return {
       return LazyVim.extras.wants({
         ft = { "lean" },
         root = { "lean-toolchain" },
-        })
-      end,
+      })
+    end,
   },
   {
     "Julian/lean.nvim",