diff options
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs index 654b5dcb..619f5f8d 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs @@ -240,7 +240,6 @@ namespace DafnyLanguage case "bool":
case "break":
case "by":
- case "call":
case "case":
case "choose":
case "class":
@@ -288,7 +287,6 @@ namespace DafnyLanguage case "this":
case "true":
case "unlimited":
- case "use":
case "var":
case "while":
#endregion
|