From 12d6f31a2c1aa3a02c8a3ed6fe85daa9763da057 Mon Sep 17 00:00:00 2001
From: Romain Beguet <beguet@adacore.com>
Date: Fri, 19 Jul 2024 17:32:43 +0200
Subject: [PATCH] Do not look for package previous parts in envs of inherited
 primitives.

---
 ada/nodes.lkt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ada/nodes.lkt b/ada/nodes.lkt
index e165ce453..63fe7fd8d 100644
--- 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 {