When ambiguous references all resolve to the same declaration, don't complain

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/DafnyExtension/OutliningTagger.cs b/Source/DafnyExtension/OutliningTagger.cs
index 55f5e677..c4b88f98 100644
--- a/Source/DafnyExtension/OutliningTagger.cs
+++ b/Source/DafnyExtension/OutliningTagger.cs
@@ -200,7 +200,7 @@ namespace DafnyLanguage
       public readonly int Start;

       public readonly int Length;

       public readonly string HoverText;

-      public OutliningRegion(Dafny.Declaration decl, string kind) {

+      public OutliningRegion(Dafny.INamedRegion decl, string kind) {

         int startPosition = decl.BodyStartTok.pos + 1;  // skip the open-curly brace itself

         int length = decl.BodyEndTok.pos - startPosition;

         Start = startPosition;