nvim: treesitter: Fix incorrect file reference for lean

This commit is contained in:
Sanchayan Maity 2024-12-11 14:49:46 +05:30
parent da81c10433
commit 4a622b4b74
Signed by: sanchayanmaity
GPG key ID: 6F6A0609C12038F3

View file

@ -50,7 +50,7 @@ require "nvim-treesitter.parsers".get_parser_configs().lean = {
filetype = "lean", filetype = "lean",
install_info = { install_info = {
url = "~/GitSources/tree-sitter-lean", url = "~/GitSources/tree-sitter-lean",
files = {"src/parser.c", "src/scanner.cc"}, files = {"src/parser.c", "src/scanner.c"},
}, },
} }