diff options
author | leino <unknown> | 2014-08-21 21:03:52 -0700 |
---|---|---|
committer | leino <unknown> | 2014-08-21 21:03:52 -0700 |
commit | 900c42823f0661107543716a247bec22f01cd9cc (patch) | |
tree | 13fdda07d14827c2bad6fd71d4180cf1d0084d56 /Util/Emacs | |
parent | 81669a1d8bb2e36d86464708bb234e7920776ae6 (diff) |
Changed syntax of derived types to "newtype"
Added parsing of constraints (beyond parsing is yet to come)
Diffstat (limited to 'Util/Emacs')
-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"
|