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)

---
 Source/DafnyExtension/TokenTagger.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs
index db4d0858..0019ce81 100644
--- a/Source/DafnyExtension/TokenTagger.cs
+++ b/Source/DafnyExtension/TokenTagger.cs
@@ -329,6 +329,7 @@ namespace DafnyLanguage
                 case "opened":
                 case "predicate":
                 case "print":
+                case "protected":
                 case "reads":
                 case "real":
                 case "refines":
-- 
cgit v1.2.3