parent
deef4289f2
commit
b92625409b
|
@ -1067,6 +1067,7 @@ package body Sem_Attr is
|
||||||
-- If there is an implicit dereference, then we must freeze
|
-- If there is an implicit dereference, then we must freeze
|
||||||
-- the designated type of the access type, since the type of
|
-- the designated type of the access type, since the type of
|
||||||
-- the referenced array is this type (see AI95-00106).
|
-- the referenced array is this type (see AI95-00106).
|
||||||
|
|
||||||
-- As done elsewhere, freezing must not happen when pre-analyzing
|
-- As done elsewhere, freezing must not happen when pre-analyzing
|
||||||
-- a pre- or postcondition or a default value for an object or
|
-- a pre- or postcondition or a default value for an object or
|
||||||
-- for a formal parameter.
|
-- for a formal parameter.
|
||||||
|
|
Loading…
Reference in New Issue