CVS difference for ai12s/ai12-0112-1.txt

Differences between 1.10 and version 1.11
Log of other versions for file ai12s/ai12-0112-1.txt

--- ai12s/ai12-0112-1.txt	2019/01/04 05:00:31	1.10
+++ ai12s/ai12-0112-1.txt	2019/01/11 08:27:40	1.11
@@ -1591,9 +1591,9 @@
 
 Container_Check
 
-Check the precondition of a routine declared in a child unit of Ada.Containers
-or in an instance of a generic unit declared in a child unit of
-Ada.Containers.
+Check the precondition of a routine declared in a descendant unit of Containers
+or in an instance of a generic unit that is declared in, or is, a 
+descendant unit of Containers.
 
 AARM Reason: One could use @b<pragma> Assertion_Policy to eliminate such checks,
 but that would require recompiling the Ada.Containers packages (the assertion
@@ -1749,9 +1749,9 @@
 @xbullet<The following check corresponds to situations in which the exception
 Assertion_Error is raised upon failure.>
 @xhang<@xterm<Container_Check>
-Check the precondition of a routine declared in a child unit of Ada.Containers
-or in an instance of a generic unit declared in a child unit of
-Ada.Containers.>
+Check the precondition of a routine declared in a descendant unit of Containers
+or in an instance of a generic unit that is declared in, or is, a 
+descendant unit of Containers.>
 
 !corrigendum 11.5(26)
 

Questions? Ask the ACAA Technical Agent