From af68b0994fbd69cba7c825a2f2b6502f35a88660 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Tue, 23 Nov 2021 10:33:47 -0800
Subject: fix(leanls): make opening nonexisting directories work (#1474)

---
 lua/lspconfig/lean3ls.lua | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'lua/lspconfig/lean3ls.lua')

diff --git a/lua/lspconfig/lean3ls.lua b/lua/lspconfig/lean3ls.lua
index 65dc815b..37c5cc7c 100644
--- a/lua/lspconfig/lean3ls.lua
+++ b/lua/lspconfig/lean3ls.lua
@@ -21,11 +21,6 @@ configs.lean3ls = {
         or util.find_git_ancestor(fname)
     end,
     single_file_support = true,
-    on_new_config = function(config, root)
-      if not config.cmd_cwd then
-        config.cmd_cwd = root
-      end
-    end,
   },
   docs = {
     description = [[
-- 
cgit v1.2.3-70-g09d2