diff options
| author |  Bryan Parno <parno@microsoft.com> | 2015-09-17 15:30:39 -0700 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2015-09-17 15:30:39 -0700 |
| commit | 4685709c25b5f22c51b6419c4898a689e8ffb4f9 (patch) | |
| tree | 58840e1ffa71587e8b6e1fda35a9897a6c96d41a /Source/DafnyExtension | |
| parent | ca96e3974019ca956f46c91eb07b2c2dfede1d29 (diff) | |
Fix a check that occasionally led to an out of bounds exception in the extension
Diffstat (limited to 'Source/DafnyExtension')
| -rw-r--r-- | Source/DafnyExtension/IdentifierTagger.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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:
|