From 453390dff336b72b6b5c97b0b6ee5ff334ced26a Mon Sep 17 00:00:00 2001
From: Rishikesh Vaishnav <rishhvaishnav@gmail.com>
Date: Fri, 10 Dec 2021 12:09:49 -0800
Subject: fix(lean3ls): use utf-32 offset encoding (#1465)

---
 lua/lspconfig/server_configurations/lean3ls.lua | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lua')

diff --git a/lua/lspconfig/server_configurations/lean3ls.lua b/lua/lspconfig/server_configurations/lean3ls.lua
index dc3872e8..cb5cd8f7 100644
--- a/lua/lspconfig/server_configurations/lean3ls.lua
+++ b/lua/lspconfig/server_configurations/lean3ls.lua
@@ -12,6 +12,7 @@ return {
   default_config = {
     cmd = cmd,
     filetypes = { 'lean3' },
+    offset_encoding = "utf-32",
     root_dir = function(fname)
       -- check if inside elan stdlib
       local stdlib_dir
-- 
cgit v1.2.3-70-g09d2