diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-12-22 01:01:11 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-04 05:17:30 -0400 |
| commit | 6aca8cf819fe5d12fe525788fbd8ff390fc57196 (patch) | |
| tree | 81a1bbc24274f19578fede4ec51b2296287b69c9 /gcc | |
| parent | c63bb4f3aaa18b5e4c8722c655187d592faecde3 (diff) | |
| download | gcc-6aca8cf819fe5d12fe525788fbd8ff390fc57196.zip gcc-6aca8cf819fe5d12fe525788fbd8ff390fc57196.tar.gz gcc-6aca8cf819fe5d12fe525788fbd8ff390fc57196.tar.bz2 | |
[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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index eaeceb7..3009421 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) |