diff options
| author | Andrew Helwer <ahelwer@protonmail.com> | 2021-08-29 21:33:46 -0700 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2021-08-30 07:35:12 +0200 |
| commit | b89192b3dc4bd71eee2266865f9ea0e558e3784e (patch) | |
| tree | bb410b4874b05d2b43e82f069cb1a4a178e87856 /queries/tlaplus/highlights.scm | |
| parent | 2d1e142451d4032235627d4429f16a739b1d679c (diff) | |
@number -> @keyword
Diffstat (limited to 'queries/tlaplus/highlights.scm')
| -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 f5dd93ac..bbbabd96 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) |