diff options
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 a8f63232..45f1c36c 100644 --- a/Source/DafnyExtension/TokenTagger.cs +++ b/Source/DafnyExtension/TokenTagger.cs @@ -271,7 +271,6 @@ namespace DafnyLanguage case "object":
case "old":
case "opened":
- case "parallel":
case "predicate":
case "print":
case "reads":
|