diff options
| -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 521f44f42..92868e456 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 |