From 1157b689cbc7c65cde1f20192e8b3b49046d6fc4 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Sat, 7 Mar 2015 17:03:35 -0800
Subject: Added 'protected' keyword (syntax)

---
 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 80186e12..e4bf845b 100644
--- a/Util/Emacs/dafny-mode.el
+++ b/Util/Emacs/dafny-mode.el
@@ -33,7 +33,7 @@
         "class" "trait" "datatype" "codatatype" "newtype" "type" "iterator"
         "function" "predicate" "copredicate"
         "var" "method" "constructor" "lemma" "colemma"
-        "ghost" "static" "abstract"
+        "ghost" "static" "protected" "abstract"
 	"module" "import" "default" "as" "opened"
 	"include"
         "extends" "refines" "returns" "yields"
-- 
cgit v1.2.3