diff options
author | rustanleino <unknown> | 2010-01-14 22:20:49 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2010-01-14 22:20:49 +0000 |
commit | 66939a686e115c00e9cb6824e7c5a2dadc85a8df (patch) | |
tree | 8d766cf6298bb6c2ca1ba3a6ba9df3c47f44efb4 /Util/Emacs/dafny-mode.el | |
parent | 8e7037f8764dd8e63f68ee588283d0a2484c884c (diff) |
Dafny:
* Allow (and currently ignore) "ghost" modifier.
* Fixed bug in boxing.
* Check for div-by-zero error for modulo operator.
* Improved emacs and latex modes.
Diffstat (limited to 'Util/Emacs/dafny-mode.el')
-rw-r--r-- | Util/Emacs/dafny-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el index 9d3ed5e0..d8fe3052 100644 --- a/Util/Emacs/dafny-mode.el +++ b/Util/Emacs/dafny-mode.el @@ -30,7 +30,7 @@ ]\\)*" . font-lock-comment-face)
`(,(dafny-regexp-opt '(
- "class" "datatype" "function" "frame" "var" "method"
+ "class" "datatype" "function" "frame" "ghost" "var" "method"
"returns" "requires" "ensures" "modifies" "reads" "free"
"invariant" "decreases"
)) . font-lock-builtin-face)
|