exp_ch6.adb: Omit check for init proc.
2013-04-22 Ed Schonberg <schonberg@adacore.com> * exp_ch6.adb: Omit check for init proc. From-SVN: r198131
This commit is contained in:
parent
f6820c2d0e
commit
1de0ffecde
@ -1709,6 +1709,7 @@ package body Exp_Ch6 is
|
||||
|
||||
if Is_By_Reference_Type (E_Formal)
|
||||
and then Has_Predicates (E_Actual)
|
||||
and then not Is_Init_Proc (Subp)
|
||||
then
|
||||
if Is_Derived_Type (E_Actual)
|
||||
and then Is_Inherited_Operation_For_Type (Subp, E_Actual)
|
||||
|
Loading…
Reference in New Issue
Block a user