]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix reference to Ada issue in comment
authorRonan Desplanques <desplanques@adacore.com>
Wed, 22 Feb 2023 17:40:16 +0000 (18:40 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 23 May 2023 07:59:06 +0000 (09:59 +0200)
gcc/ada/

* sem_disp.adb: Fix reference to Ada issue in comment.

gcc/ada/sem_disp.adb

index b01e3d4186ee90c46e52673376fef6832961d15a..ab409d3a4e4bd8d5644470cb52670aede8a606ae 100644 (file)
@@ -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