CVS difference for ai12s/ai12-0111-1.txt
--- ai12s/ai12-0111-1.txt 2019/06/11 04:13:53 1.22
+++ ai12s/ai12-0111-1.txt 2020/12/04 07:59:28 1.23
@@ -1010,7 +1010,7 @@
certain of the operations of this package, as indicated by the precondition
of such an operation. Similarly, when tampering with elements is @i<prohibited>
for @i<V>, Program_Error is propagated by a call that passes @i<V> to
-certain of other operations of this package, as indicated by the precondition
+certain of the other operations of this package, as indicated by the precondition
of such an operation.
!corrigendum A.18.2(92/2)
Questions? Ask the ACAA Technical Agent