From cd1ccf056be9cbcc3d5cbefff08135276bc476ed Mon Sep 17 00:00:00 2001 From: Michael Lingelbach Date: Tue, 13 Jul 2021 10:41:39 -0700 Subject: chore: change stylua to single quotes (#1068) --- lua/lspconfig/leanls.lua | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'lua/lspconfig/leanls.lua') diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua index 946275dd..625e07ae 100644 --- a/lua/lspconfig/leanls.lua +++ b/lua/lspconfig/leanls.lua @@ -1,15 +1,15 @@ -local configs = require "lspconfig/configs" -local util = require "lspconfig/util" +local configs = require 'lspconfig/configs' +local util = require 'lspconfig/util' configs.leanls = { default_config = { - cmd = { "lean", "--server" }, - filetypes = { "lean" }, + cmd = { 'lean', '--server' }, + filetypes = { 'lean' }, root_dir = function(fname) - return util.root_pattern "leanpkg.toml"(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname) + return util.root_pattern 'leanpkg.toml'(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname) end, on_new_config = function(config, root) - if not util.path.is_file(root .. "/leanpkg.toml") then + if not util.path.is_file(root .. '/leanpkg.toml') then return end if not config.cmd_cwd then -- cgit v1.2.3-70-g09d2