diff options
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 6b9e88b..483e705 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -4974,12 +4974,9 @@ package body Sem_Ch3 is Subtype_Indication (Component_Def)); end if; - -- Ada 2012: if the element type has invariants we must create an - -- invariant procedure for the array type as well. - - if Has_Invariants (Element_Type) then - Set_Has_Invariants (T); - end if; + -- There may be an invariant declared for the component type, but + -- the construction of the component invariant checking procedure + -- takes place during expansion. end Array_Type_Declaration; ------------------------------------------------------ |