From: Yannick Moy <moy@adacore.com>
Date: Tue, 24 May 2022 10:13:43 +0000 (+0200)
Subject: ada: Update comment after SPARK RM change
X-Git-Tag: basepoints/gcc-15~9304
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a1f35b49196ca219863cc6e64eb1d1eb1483cca9;p=thirdparty%2Fgcc.git

ada: Update comment after SPARK RM change

gcc/ada/

	* sem_attr.adb: Update comment referring to rule number.
---

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index ac0c4004930c..452aabdd4360 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -7608,7 +7608,7 @@ package body Sem_Attr is
 
       --  In SPARK certain attributes (see below) depend on Tasking_State.
       --  Ensure that the entity is available for gnat2why by loading it.
-      --  See SPARK RM 9(18) for the relevant rule.
+      --  See SPARK RM 9(19) for the relevant rule.
 
       if GNATprove_Mode then
          case Attr_Id is