diff --git a/languages.toml b/languages.toml index 9b93acf596df..ffd50c5d4fb1 100644 --- a/languages.toml +++ b/languages.toml @@ -2831,4 +2831,4 @@ indent = { tab-width = 2, unit = " " } [[grammar]] name = "agda" -source = { git = "https://github.com/tree-sitter/tree-sitter-agda", rev = "7aff1ccb0bb60c0884839ba37076441b2fbcbde2" } +source = { git = "https://github.com/tree-sitter/tree-sitter-agda", rev = "c21c3a0f996363ed17b8ac99d827fe5a4821f217" }