From fbe5aedad863dfb928ae68739b3f020332f98216 Mon Sep 17 00:00:00 2001
From: Hirokazu Hata <h.hata.ai.t@gmail.com>
Date: Sun, 16 Feb 2020 15:02:37 +0900
Subject: lua: remove `settings = {}`

configs.lua set settings vim.empty_dict() as default
---
 lua/nvim_lsp/leanls.lua | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lua/nvim_lsp/leanls.lua')

diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua
index 048be311..0efc305c 100644
--- a/lua/nvim_lsp/leanls.lua
+++ b/lua/nvim_lsp/leanls.lua
@@ -8,7 +8,6 @@ configs.leanls = {
     filetypes = {"lean"};
     root_dir = util.root_pattern(".git");
     log_level = lsp.protocol.MessageType.Warning;
-    settings = {};
   };
   -- on_new_config = function(new_config) end;
   -- on_attach = function(client, bufnr) end;
-- 
cgit v1.2.3-70-g09d2