From 900c42823f0661107543716a247bec22f01cd9cc Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Thu, 21 Aug 2014 21:03:52 -0700
Subject: Changed syntax of derived types to "newtype" Added parsing of
 constraints (beyond parsing is yet to come)

---
 Util/Emacs/dafny-mode.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Util/Emacs')

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"
-- 
cgit v1.2.3