Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
| -rw-r--r-- | runtime/queries/lean/highlights.scm | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/runtime/queries/lean/highlights.scm b/runtime/queries/lean/highlights.scm index ca19b835..43e3a62e 100644 --- a/runtime/queries/lean/highlights.scm +++ b/runtime/queries/lean/highlights.scm @@ -1,3 +1,8 @@ +; Variables +(identifier) @variable + +; Namespaces + (open namespace: (identifier) @namespace) (namespace @@ -212,6 +217,3 @@ ;; Error (ERROR) @error - -; Variables -(identifier) @variable |