Add 'opaque' and 'transparent' keywords

kind2-mc · Dec 12, 2024 · 60cb779 · 60cb779
1 parent 336ed06
commit 60cb779
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/syntaxes/lustre.tmLanguage.json b/syntaxes/lustre.tmLanguage.json
@@ -678,7 +678,7 @@
         {
           "comment": "Keywords",
           "name": "keyword.control.lustre",
-          "match": "\\b(if|then|else|not|and|xor|or|pre|fby|div|mod|lsh|rsh|reachable|provided|assuming|invariant|from|within|at|any|param)\\b"
+          "match": "\\b(if|then|else|not|and|xor|or|pre|fby|div|mod|lsh|rsh|reachable|provided|assuming|invariant|from|within|at|any|param|opaque|transparent)\\b"
         },
         {
           "comment": "Merge",