diff options
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/Emacs/jennisys-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/Emacs/jennisys-mode.el b/Util/Emacs/jennisys-mode.el index b17cdeff..d8f20a31 100644 --- a/Util/Emacs/jennisys-mode.el +++ b/Util/Emacs/jennisys-mode.el @@ -32,7 +32,7 @@ `(,(jennisys-regexp-opt '(
"interface" "datamodel" "code"
"var" "constructor" "method"
- "frame" "invariant" "returns" "requires"
+ "frame" "invariant" "returns" "requires" "ensures"
)) . font-lock-builtin-face)
`(,(jennisys-regexp-opt '(
"if" "then" "else"
|