diff options
| author |  Bryan Parno <parno@microsoft.com> | 2014-10-27 14:51:38 -0700 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2014-10-27 14:51:38 -0700 |
| commit | 0141e22b137676b43f1f2ddf032a5b75ebcc3de1 (patch) | |
| tree | c2f3261be569df24a03c29bcf0ed43239f5e30c4 /Source/DafnyExtension | |
| parent | 7114dca3c279789cd1d544bb5b80b0f699df8f59 (diff) | |
Fixed range bug that was causing extension to sometimes crash
Diffstat (limited to 'Source/DafnyExtension')
| -rw-r--r-- | Source/DafnyExtension/OutliningTagger.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyExtension/OutliningTagger.cs b/Source/DafnyExtension/OutliningTagger.cs index b6fe38bc..55f5e677 100644 --- a/Source/DafnyExtension/OutliningTagger.cs +++ b/Source/DafnyExtension/OutliningTagger.cs @@ -80,7 +80,7 @@ namespace DafnyLanguage if (start == end) yield break;
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) {
yield return new TagSpan<OutliningRegionTag>(
new SnapshotSpan(_snapshot, r.Start, r.Length),
new OutliningRegionTag(false, false, "...", r.HoverText));
|