diff options
Diffstat (limited to 'lua/lspconfig/server_configurations/lean3ls.lua')
| -rw-r--r-- | lua/lspconfig/server_configurations/lean3ls.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lua/lspconfig/server_configurations/lean3ls.lua b/lua/lspconfig/server_configurations/lean3ls.lua index 347d53b6..cad9b125 100644 --- a/lua/lspconfig/server_configurations/lean3ls.lua +++ b/lua/lspconfig/server_configurations/lean3ls.lua @@ -1,4 +1,4 @@ -local util = require 'lspconfig/util' +local util = require 'lspconfig.util' return { default_config = { |