diff options
| -rwxr-xr-x | Binaries/dafny | bin | 315 -> 19456 bytes | |||
| -rw-r--r-- | Source/DafnyExtension/IdentifierTagger.cs | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Binaries/dafny b/Binaries/dafny Binary files differindex 889ebc81..05fa3203 100755 --- a/Binaries/dafny +++ b/Binaries/dafny diff --git a/Source/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs index 5b70329d..d638cb6c 100644 --- a/Source/DafnyExtension/IdentifierTagger.cs +++ b/Source/DafnyExtension/IdentifierTagger.cs @@ -77,7 +77,7 @@ namespace DafnyLanguage int start = entire.Start;
int end = entire.End;
foreach (var r in _regions) {
- if (0 <= r.Length && r.Start <= end && start <= r.Start + r.Length) {
+ if (0 <= r.Length && r.Start >= start && r.Start + r.Length <= end) {
DafnyTokenKind kind;
switch (r.Kind) {
case IdRegion.OccurrenceKind.Use:
|