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",