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