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

Differences between 1.22 and version 1.23
Log of other versions for file 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