diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-04 00:02:43 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-04 00:02:43 -0700 |
| commit | ee7d9d6f87db6160f8fdf3af5905c90f3a3cb823 (patch) | |
| tree | 7017cb83c5387b807c89765775f4220b6de8df16 /Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | |
| parent | caa2c1d6c2aa2976d5ef055e412374832981e566 (diff) | |
| parent | b9129517113e536506602a438612b1c647067098 (diff) | |
Merge
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs index 22388704..2f295429 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs @@ -227,10 +227,12 @@ namespace DafnyLanguage #region keywords
case "allocated":
case "array":
+ case "as":
case "assert":
case "assume":
case "bool":
case "break":
+ case "calc":
case "case":
case "choose":
case "class":
@@ -249,7 +251,7 @@ namespace DafnyLanguage case "function":
case "ghost":
case "if":
- case "imports":
+ case "import":
case "in":
case "int":
case "invariant":
@@ -265,6 +267,7 @@ namespace DafnyLanguage case "null":
case "object":
case "old":
+ case "opened":
case "parallel":
case "predicate":
case "print":
|