From 8cc9f82219a818ef54dda2c59b3a56d07114c3fb Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Fri, 21 Sep 2012 14:46:50 -0700
Subject: DafnyExtension: adding some missing keywords (for imports)

---
 Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Util')

diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs
index 19f98ff7..ec1514ae 100644
--- a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs
+++ b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs
@@ -227,6 +227,7 @@ namespace DafnyLanguage
                 #region keywords
                 case "allocated":
                 case "array":
+                case "as":
                 case "assert":
                 case "assume":
                 case "bool":
@@ -250,7 +251,7 @@ namespace DafnyLanguage
                 case "function":
                 case "ghost":
                 case "if":
-                case "imports":
+                case "import":
                 case "in":
                 case "int":
                 case "invariant":
@@ -265,6 +266,7 @@ namespace DafnyLanguage
                 case "null":
                 case "object":
                 case "old":
+                case "opened":
                 case "parallel":
                 case "predicate":
                 case "print":
-- 
cgit v1.2.3