diff options
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 d589fb78..6482ff28 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" "codatatype" "type" "iterator"
+ "class" "datatype" "codatatype" "newtype" "type" "iterator"
"trait" "extends"
"function" "predicate" "copredicate"
"ghost" "var" "method" "lemma" "constructor" "colemma"
|