diff options
| author | Andrew Helwer <ahelwer@protonmail.com> | 2021-10-06 13:16:18 -0400 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2021-10-07 22:38:06 +0200 |
| commit | 6b82b26a742964bd93d022db134a4ac3a1a15a96 (patch) | |
| tree | c0360da374bdf5e946636334fc8bc7c079d598dd /queries/tlaplus | |
| parent | ecd9efd48611c42d7e51b50028788bf2b74b5c91 (diff) | |
Updated TLA+ grammar version and queries
Diffstat (limited to 'queries/tlaplus')
| -rw-r--r-- | queries/tlaplus/highlights.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm index bbbabd96..c491ea18 100644 --- a/queries/tlaplus/highlights.scm +++ b/queries/tlaplus/highlights.scm @@ -85,7 +85,11 @@ (string) @string (escape_char) @string.escape (boolean) @boolean -(primitive_value_set) @type +(string_set) @type +(boolean_set) @type +(nat_number_set) @type +(int_number_set) @type +(real_number_set) @type ; Comments (comment) @comment |