diff options
Diffstat (limited to 'queries/agda/highlights.scm')
| -rw-r--r-- | queries/agda/highlights.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/queries/agda/highlights.scm b/queries/agda/highlights.scm index a5c42c0a8..6ff55d2fc 100644 --- a/queries/agda/highlights.scm +++ b/queries/agda/highlights.scm @@ -27,13 +27,13 @@ ;; Imports and Module Declarations -"import" @include +"import" @keyword.import -(module_name) @namespace +(module_name) @module ;; Pragmas and comments -(pragma) @preproc +(pragma) @keyword.directive (comment) @comment @spell |