CVS difference for ais/ai-00344.txt

--- ais/ai-00344.txt	2005/04/13 05:37:14	1.17
+++ ais/ai-00344.txt	2005/05/15 23:44:17	1.18
@@ -1,4 +1,4 @@
-!standard  3.09    (04)                               05-03-13  AI95-00344/10
+!standard  3.09    (04)                               05-05-05  AI95-00344/11
 !standard  3.09    (07)
 !standard  3.09    (12)
 !standard  3.09    (25)
@@ -143,8 +143,9 @@
 Add at the end of 4.8(7):
 
     ... If the designated type of the type of the allocator is class-wide, then
-    a check is made that the accessibility level of the type identified by
-    the tag of the value of the qualified_expression is not deeper than that of
+    a check is made that the accessibility level of the type determined by
+    the subtype_indication, or by the tag of the value of the
+    qualified_expression, is not deeper than that of
     the type of the allocator. Program_Error is raised if this check fails.
 
 Add after 6.5(20):
@@ -458,8 +459,9 @@
 the designated type is created and the value of the @fa<qualified_expression>
 is converted to the designated subtype and assigned to the object. If the
 designated type of the type of the @fa<allocator> is class-wide, then
-a check is made that the accessibility level of the type identified by
-the tag of the value of the @fa<qualified_expression> is not deeper than that
+a check is made that the accessibility level of the type determined by
+the @fa<subtype_indication>, or by the tag of the value of the
+@fa<qualified_expression>, is not deeper than that
 of the type of the allocator. Program_Error is raised if this check fails.
 
 !corrigendum 06.05(20)