From c5eed2f2cda344fcf5a342ef5f3596361d38f5e7 Mon Sep 17 00:00:00 2001
From: ShootingStarDragons <ShootingStarDragons@protonmail.com>
Date: Mon, 11 Jul 2022 23:16:25 +0800
Subject: fix wrong parse change maintainers

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

(limited to 'queries')

diff --git a/queries/agda/highlights.scm b/queries/agda/highlights.scm
index 2a525982..18dd1a4c 100644
--- a/queries/agda/highlights.scm
+++ b/queries/agda/highlights.scm
@@ -1,6 +1,6 @@
 
 ;; Constants
-(integer) @constant
+(integer) @number
 
 ;; Variables and Symbols
 
-- 
cgit v1.2.3