diff options
| author | Andrew Helwer <ahelwer@protonmail.com> | 2021-08-19 14:14:58 -0400 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2021-08-20 18:56:14 +0200 |
| commit | ca0a7f5a8d1dd4596aca77679e1fd7e905d52716 (patch) | |
| tree | f198631b2f5442e613b14dfe2783499a7cf7b515 /queries | |
| parent | 17d75b31eab93d0b50c1dc342a18fdeac368752e (diff) | |
Highlight some keyword.function nodes as just keywords
Diffstat (limited to 'queries')
| -rw-r--r-- | queries/tlaplus/highlights.scm | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm index 521f44f4..92868e45 100644 --- a/queries/tlaplus/highlights.scm +++ b/queries/tlaplus/highlights.scm @@ -57,20 +57,20 @@ "WF_" "WITH" "WITNESS" -] @keyword -[ (forall) (exists) (temporal_forall) (temporal_exists) (set_in) - (def_eq) (gets) - (maps_to) - (all_map_to) (case_box) (case_arrow) (label_as) +] @keyword +[ + (def_eq) + (maps_to) + (all_map_to) ] @keyword.function ; Literals |