From 6aca8cf819fe5d12fe525788fbd8ff390fc57196 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Tue, 22 Dec 2020 01:01:11 +0100 Subject: [PATCH] [Ada] Fix reference to SPARK RM rule in comment gcc/ada/ * sem_prag.adb (Check_Mode_Restriction_In_Enclosing_Context): Fix reference to SPARK RM rule number. --- gcc/ada/sem_prag.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index eaeceb741148..3009421379a3 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -2650,7 +2650,7 @@ package body Sem_Prag is -- The item is classified as In_Out or Output but appears as -- an Input in an enclosing subprogram or task unit (SPARK - -- RM 6.1.4(12)). + -- RM 6.1.4(13)). if Appears_In (Inputs, Item_Id) and then not Appears_In (Outputs, Item_Id) -- 2.47.3