diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-22 11:03:01 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-22 11:03:01 -0700 |
| commit | d4472576ba4f4678f48313e69733254fb1e7017c (patch) | |
| tree | 51b6d9881d302cecfe46202401081d51c56ca26f /Source/DafnyExtension/TokenTagger.cs | |
| parent | d52d7797c7394ecb233837c59e77927b467585fe (diff) | |
removed deprecated "allocated" keyword from DafnyExtension syntax highlighting
removed a level of directories for the Dafny VIM mode
Diffstat (limited to 'Source/DafnyExtension/TokenTagger.cs')
| -rw-r--r-- | Source/DafnyExtension/TokenTagger.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs index 673bf5bb..190051ef 100644 --- a/Source/DafnyExtension/TokenTagger.cs +++ b/Source/DafnyExtension/TokenTagger.cs @@ -226,7 +226,6 @@ namespace DafnyLanguage switch (s) {
#region keywords
case "abstract":
- case "allocated":
case "array":
case "as":
case "assert":
|