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 | |
parent | 7114dca3c279789cd1d544bb5b80b0f699df8f59 (diff) |
Fixed range bug that was causing extension to sometimes crash
-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));
|