diff options
author | leino <unknown> | 2015-05-29 16:37:24 -0700 |
---|---|---|
committer | leino <unknown> | 2015-05-29 16:37:24 -0700 |
commit | 7be9e523b10042c01e5c05ad7ff1cf2ac113e287 (patch) | |
tree | 1a27f90d8c4aa276293f3c0d31be6c1dbac30245 /Source/DafnyExtension | |
parent | d160ed90ed97d34c190f01e5b40443d264e6fec1 (diff) | |
parent | 10a8896ae40fd918abbb8caa616ac6ee0876ac1d (diff) |
Merge
Diffstat (limited to 'Source/DafnyExtension')
-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 af141ad7..8377b3a2 100644 --- a/Source/DafnyExtension/TokenTagger.cs +++ b/Source/DafnyExtension/TokenTagger.cs @@ -305,6 +305,7 @@ namespace DafnyLanguage case "ghost":
case "if":
case "imap":
+ case "iset":
case "import":
case "in":
case "include":
|