CVS difference for ai05s/ai05-0224-1.txt

--- ai05s/ai05-0224-1.txt	2011/02/16 06:15:23	1.8
+++ ai05s/ai05-0224-1.txt	2011/03/11 07:33:24	1.9
@@ -53,10 +53,32 @@
 allocator and the type T are likely to be in different units). Thus we adopt a
 runtime check.
 
+!corrigendum D.7(7)
+
+@dinsa
+@dinst
+In the case of an initialized @fa<allocator> of an access type whose designated type
+is class-wide and limited, a check is made that the specific type of the
+allocated object has no task subcomponents. Program_Error is raised if this
+check fails.
+
+!corrigendum D.7(10.3/2)
+
+@dinsa
+@dinst
+In the case of an initialized @fa<allocator> of an access type whose designated type
+is class-wide and limited, a check is made that the specific type of the
+allocated object has no protected subcomponents. Program_Error is raised if this
+check fails.
+
 !ACATS Test
 
 Create an ACATS like the example in the question, to verify that the checks are
 made.
+
+!ASIS
+
+No impact on ASIS.
 
 !appendix