diff options
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/Emacs/chalice-mode.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/Emacs/chalice-mode.el b/Util/Emacs/chalice-mode.el index 34a95a87..0798753e 100644 --- a/Util/Emacs/chalice-mode.el +++ b/Util/Emacs/chalice-mode.el @@ -33,6 +33,7 @@ "class" "ghost" "var" "const" "external" "function" "method"
"predicate" "returns" "requires" "ensures" "lockchange"
"invariant" "channel" "condition" "where"
+ "refines" "replaces" "by" "transforms"
)) . font-lock-builtin-face)
`(,(chalice-regexp-opt '(
"above" "acc" "acquire" "and" "assert" "assigned" "assume"
|