diff options
Diffstat (limited to 'Source/DafnyExtension')
| -rw-r--r-- | Source/DafnyExtension/TokenTagger.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs index 438d9be6..f54d5184 100644 --- a/Source/DafnyExtension/TokenTagger.cs +++ b/Source/DafnyExtension/TokenTagger.cs @@ -320,6 +320,7 @@ namespace DafnyLanguage case "multiset":
case "nat":
case "new":
+ case "newtype":
case "null":
case "object":
case "old":
@@ -340,6 +341,7 @@ namespace DafnyLanguage case "true":
case "type":
case "var":
+ case "where":
case "while":
case "yield":
case "yields":
|