diff options
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 e1f03957..673bf5bb 100644 --- a/Source/DafnyExtension/TokenTagger.cs +++ b/Source/DafnyExtension/TokenTagger.cs @@ -225,6 +225,7 @@ namespace DafnyLanguage } else {
switch (s) {
#region keywords
+ case "abstract":
case "allocated":
case "array":
case "as":
|