Message ID | 20210504095222.GA90348@adacore.com |
---|---|
State | New |
Headers | show |
Series | [Ada] Fix reference to SPARK RM rule in comment | expand |
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb --- 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)