diff options
author | Rustan Leino <leino@microsoft.com> | 2012-10-30 17:13:13 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-10-30 17:13:13 -0700 |
commit | b0c51b6fdf1960bbee547959eaf9b0985dee10a9 (patch) | |
tree | 61223cc2bed18d7913cac860cd45d966056ff04b /Source/DafnyExtension/TokenTagger.cs | |
parent | d4472576ba4f4678f48313e69733254fb1e7017c (diff) |
Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD
Remove some duplicated hover text in DafnyExtension
Enable Code Contracts in the build
Diffstat (limited to 'Source/DafnyExtension/TokenTagger.cs')
-rw-r--r-- | Source/DafnyExtension/TokenTagger.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs index 190051ef..a8f63232 100644 --- a/Source/DafnyExtension/TokenTagger.cs +++ b/Source/DafnyExtension/TokenTagger.cs @@ -259,6 +259,7 @@ namespace DafnyLanguage case "invariant":
case "iterator":
case "label":
+ case "map":
case "match":
case "method":
case "modifies":
|