Do not look for package previous parts in envs of inherited primitives.

AdaCore · Jul 22, 2024 · 12d6f31 · 12d6f31
1 parent 82dbec2
commit 12d6f31
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ada/nodes.lkt b/ada/nodes.lkt
@@ -7795,7 +7795,9 @@ class Body: BasicDecl {
         ) else {
             bind origin = node.origin_node();
 
-            self.defining_name().all_env_els_impl()
+            self.defining_name().all_env_els_impl(
+                categories=RefCategories(inherited_primitives=false, _=true)
+            )
         }
     ).map(
         (e) => match e {