From a1f35b49196ca219863cc6e64eb1d1eb1483cca9 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Tue, 24 May 2022 12:13:43 +0200 Subject: [PATCH] ada: Update comment after SPARK RM change gcc/ada/ * sem_attr.adb: Update comment referring to rule number. --- gcc/ada/sem_attr.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.47.2