diff options
author | Rustan Leino <leino@microsoft.com> | 2011-10-19 14:12:17 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2011-10-19 14:12:17 -0700 |
commit | 138cee5d1fce0bbe5eced947edee0c980bf65dab (patch) | |
tree | b30be12285e75bc1db8c8d862a38d21a3a487243 /Util | |
parent | 9428079835bca16d4fd04ea4b9fb5d9801e71232 (diff) |
Jennisys: added "ensures" to emacs mode
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"
|