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 | 86da04e8be269d13874191c81cee0e2110d6373e (patch) | |
| tree | 3e179711e6f621ff10bbea22fbcaa9f0e9d62e47 /Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | |
| parent | 0cf1c052a1b3f89384a6c859fc8680851b6edce0 (diff) | |
| parent | 17a14997cbcdad8bb0a435cf48dfb783ea21f3ac (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":
|