From 168e3b782f852742bf392d476d59bbcdcccae720 Mon Sep 17 00:00:00 2001
From: JenChieh <jcs090218@gmail.com>
Date: Tue, 22 Aug 2023 01:21:41 -0700
Subject: [PATCH] Remove invalid query

---
 queries/agda/highlights.scm | 1 -
 1 file changed, 1 deletion(-)

diff --git a/queries/agda/highlights.scm b/queries/agda/highlights.scm
index 1a0b89b8..1a931ad6 100644
--- a/queries/agda/highlights.scm
+++ b/queries/agda/highlights.scm
@@ -61,7 +61,6 @@
   "infixl"
   "infixr"
   "record"
-	(ARROW)
 ]
 @keyword