From 4a622b4b7411fcddfb7c20bb0bf8e1f852a1f635 Mon Sep 17 00:00:00 2001
From: Sanchayan Maity <me@sanchayanmaity.net>
Date: Wed, 11 Dec 2024 14:49:46 +0530
Subject: [PATCH] nvim: treesitter: Fix incorrect file reference for lean

---
 nvim/.config/nvim/lua/treesitter.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nvim/.config/nvim/lua/treesitter.lua b/nvim/.config/nvim/lua/treesitter.lua
index bbe0afc..c7b9745 100644
--- a/nvim/.config/nvim/lua/treesitter.lua
+++ b/nvim/.config/nvim/lua/treesitter.lua
@@ -50,7 +50,7 @@ require "nvim-treesitter.parsers".get_parser_configs().lean = {
   filetype     = "lean",
   install_info = {
     url   = "~/GitSources/tree-sitter-lean",
-    files = {"src/parser.c", "src/scanner.cc"},
+    files = {"src/parser.c", "src/scanner.c"},
   },
 }