summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-09-21 14:46:50 -0700
committerGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-09-21 14:46:50 -0700
commit458fa29bb7c59c3b7345ac21b20820f42d550ccc (patch)
treedc25aef498570edea6a48f72a1d701b8be93b7ec
parent77a38428ffe11806c8bc61d2fbb324d1523de635 (diff)
DafnyExtension: adding some missing keywords (for imports)
-rw-r--r--Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs4
1 files changed, 3 insertions, 1 deletions
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":