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

--- ai05s/ai05-0193-1.txt	2009/12/01 18:56:46	1.3
+++ ai05s/ai05-0193-1.txt	2009/12/09 01:20:40	1.4
@@ -104,9 +104,11 @@
           designated subtype is S. The value of this attribute is of type
           universal_integer.
 
-    For a type with access discriminants, these attributes account for
-    any calls on Allocate that could be performed to provide space for
-    coextensions associated with these discriminants.
+   For a type with access discriminants, if the implementation 
+   allocates space for a coextension in the same pool as that of the 
+   object having the access discriminant, then these attributes account
+   for any calls on Allocate that could be performed to provide space for
+   such coextensions.
 
 Update Annex K accordingly. [This is done automatically; we generally don't
 mention changes to Annex K, L, M, P, and Q unless they don't appear anywhere
@@ -201,9 +203,11 @@
 designated subtype is S. The value of this attribute is of type
 universal_integer.>
 
-For a type with access discriminants, these attributes account for
-any calls on Allocate that could be performed to provide space for
-coextensions associated with these discriminants.
+For a type with access discriminants, if the implementation 
+allocates space for a coextension in the same pool as that of the 
+object having the access discriminant, then these attributes account 
+for any calls on Allocate that could be performed to provide space for
+such coextensions.
 
 
 !ACATS test