; ast: Add a link in a BUG comment

dafny-lang · Sep 14, 2022 · 28299a2 · 28299a2
1 parent 8ef4afa
commit 28299a2
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/AST/Entities.dfy b/src/AST/Entities.dfy
@@ -528,8 +528,7 @@ module {:options "-functionSyntax:4"} Bootstrap.AST.Entities
       [root] + Seq.Flatten(Seq.Map(RecursiveTransitiveMembers'(root), Members(root)))
     }
 
-    // BUG: the root parameter should be ghost, but causes compile failure if it is
-    // TODO: create and link to GitHub issue once we can reduce it to a simpler reproduction
+    // BUG(https://github.com/dafny-lang/dafny/issues/2690)
     function RecursiveTransitiveMembers'(root: Name)
       : (Name --> seq<Name>)
       requires Valid?()