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 | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/runtime/queries/lean/highlights.scm b/runtime/queries/lean/highlights.scm index 648507f7..ca19b835 100644 --- a/runtime/queries/lean/highlights.scm +++ b/runtime/queries/lean/highlights.scm @@ -1,8 +1,3 @@ -; Variables -(identifier) @variable - -; Namespaces - (open namespace: (identifier) @namespace) (namespace @@ -214,3 +209,9 @@ ["|" "," "." ":" ";"] @punctuation.delimiter (sorry) @error + +;; Error +(ERROR) @error + +; Variables +(identifier) @variable |