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"},
   },
 }