diff options
| author |  Michael Lowell Roberts <mirobert@microsoft.com> | 2015-09-21 14:04:02 -0700 |
|---|---|---|
| committer | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-09-21 14:04:02 -0700 |
| commit | 71981e74519b9b29148fc1cf50d688ac8b4f892c (patch) | |
| tree | e3eb995c6f4af8819ced3a62976ef9c859b9dd3a | |
| parent | 045c50afc6261beeb83ab4a2f70e597157c9d796 (diff) | |
| parent | 4685709c25b5f22c51b6419c4898a689e8ffb4f9 (diff) | |
Auto-merged heads.
| -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:
|