[Bug ada/113351] renaming of overloaded primitive incorrectly rejected

"p.p11 at orange dot fr via Gcc-bugs" <[email protected]> Tue, 04 Aug 2026 19:47:53 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113351

Pascal Pignard <p.p11 at orange dot fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |VERIFIED

--- Comment #7 from Pascal Pignard <p.p11 at orange dot fr> ---
Verified OK with 16.1.