diff options
author | 2011-10-19 15:36:55 -0700 | |
---|---|---|
committer | 2011-10-19 15:36:55 -0700 | |
commit | 591f20afa30dda0eb26392f7c2417a6b3213c7a6 (patch) | |
tree | 2a27a7d4b6d759d0d42e89df5e8d4556fecc4e4a | |
parent | 39b0ec5cf8900757bb19c13cb692b2414de91475 (diff) | |
parent | b1874001c408f9e7b5fb5024d526559f09e1b3b1 (diff) |
Merge
-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"
|