CVS difference for 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