diff options
| author | ShootingStarDragons <ShootingStarDragons@protonmail.com> | 2022-07-11 23:16:25 +0800 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-08-16 11:38:50 -0700 |
| commit | c5eed2f2cda344fcf5a342ef5f3596361d38f5e7 (patch) | |
| tree | 643dd272d2d3abd8ab88664fb95a9471f2f6b0e2 /queries | |
| parent | 25baab9f595fea787d534eb56f958741d16bd732 (diff) | |
fix wrong parse
change maintainers
Diffstat (limited to 'queries')
| -rw-r--r-- | queries/agda/highlights.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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 |