diff options
| -rw-r--r-- | queries/tlaplus/highlights.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm index f5dd93ac2..bbbabd968 100644 --- a/queries/tlaplus/highlights.scm +++ b/queries/tlaplus/highlights.scm @@ -66,7 +66,7 @@ (case_box) (case_arrow) (label_as) -] @number +] @keyword [ (def_eq) (maps_to) |