diff options
author | Rustan Leino <unknown> | 2013-04-04 13:24:31 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2013-04-04 13:24:31 -0700 |
commit | 02f82c2a76acf6a9bbd3becfcfa0aebb57f14443 (patch) | |
tree | 5a5ddc75519f50f79b27ddc523031c971c858bfb /Source/DafnyExtension/TokenTagger.cs | |
parent | eb21f8e7a918c13a7659c1897aea0c4c03b21fc0 (diff) |
Deleted a non-keyword
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 45f1c36c..e430f60f 100644 --- a/Source/DafnyExtension/TokenTagger.cs +++ b/Source/DafnyExtension/TokenTagger.cs @@ -276,7 +276,6 @@ namespace DafnyLanguage case "reads":
case "refines":
case "requires":
- case "result":
case "return":
case "returns":
case "seq":
|