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 ac0c4004930c73a73188260266ada5fcdefef80c..452aabdd4360c9e8408c713bd795d7d87e627f0e 100644 (file)
--- 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