From: Ronan Desplanques Date: Wed, 22 Feb 2023 17:40:16 +0000 (+0100) Subject: ada: Fix reference to Ada issue in comment X-Git-Tag: basepoints/gcc-15~9031 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae8f82fd03400fd7460745c13f81a7e740a8cdb7;p=thirdparty%2Fgcc.git ada: Fix reference to Ada issue in comment gcc/ada/ * sem_disp.adb: Fix reference to Ada issue in comment. --- diff --git a/gcc/ada/sem_disp.adb b/gcc/ada/sem_disp.adb index b01e3d4186ee..ab409d3a4e4b 100644 --- a/gcc/ada/sem_disp.adb +++ b/gcc/ada/sem_disp.adb @@ -1392,7 +1392,7 @@ package body Sem_Disp is -- 4. Wrappers built for inherited operations with inherited class- -- wide conditions, where the conditions include calls to other -- overridden primitives. The wrappers include checks on these - -- modified conditions. (AI12-113). + -- modified conditions. (AI12-195). -- 5. Declarations built for subprograms without separate specs that -- are eligible for inlining in GNATprove (inside