From: Piotr Trojanek <trojanek@adacore.com>
Date: Tue, 22 Dec 2020 00:01:11 +0000 (+0100)
Subject: [Ada] Fix reference to SPARK RM rule in comment
X-Git-Tag: basepoints/gcc-13~7907
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=6aca8cf819fe5d12fe525788fbd8ff390fc57196;p=thirdparty%2Fgcc.git

[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.
---

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)