From da08d2bc7ce63f2c3150432335f641c94463c77a Mon Sep 17 00:00:00 2001
From: JJ <git@toki.la>
Date: Tue, 19 Sep 2023 01:25:51 -0700
Subject: [PATCH] upstream updated

---
 languages.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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