CVS difference for ais/ai-00235.txt

--- ais/ai-00235.txt 2004/11/25 03:13:21 1.15+++ ais/ai-00235.txt 2005/01/07 03:07:29 1.16@@ -142,7 +142,7 @@
!corrigendum 4.1.4(14/1)
@drepl
-@xindent<@s9<<5 In general, the name in a prefix of an @fa<attribute_reference> (or a+@xindent<@s9<5 In general, the name in a prefix of an @fa<attribute_reference> (or a
@fa<range_attribute_reference>) has to be resolved without using any context.
However, in the case of the Access attribute, the expected type for the
@fa<prefix> has to be a single access type, and if it is an
@@ -150,7 +150,7 @@
use the fact that the profile of the callable entity denoted by the prefix has
to be type conformant with the designated profile of the access type.>>
@dby
-@xindent<@s9<<5 In general, the name in a prefix of an @fa<attribute_reference> (or a+@xindent<@s9<5 In general, the name in a prefix of an @fa<attribute_reference> (or a
@fa<range_attribute_reference>) has to be resolved without using any context.
However, in the case of the Access attribute, the expected type for the
@fa<attribute_reference> has to be a single access type, and the resolution