diff options
| author |  rustanleino <unknown> | 2010-01-14 22:20:49 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-01-14 22:20:49 +0000 |
| commit | c0eedb936ceb9de75cd64d7eb81805a4cc9c64b4 (patch) | |
| tree | fbd9dced80ca9f2b4054c5cc4358f749106a1482 /Util/Emacs/dafny-mode.el | |
| parent | 9f5bb9b92d843b3718673545a62791f5049a7d74 (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)
|