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

--- ai12s/ai12-0112-1.txt	2020/08/28 03:25:35	1.28
+++ ai12s/ai12-0112-1.txt	2020/09/11 22:20:44	1.29
@@ -2138,6 +2138,21 @@
       @b<return> List_Iterator_Interfaces.Parallel_Reversible_Iterator'Class
       @b<with> Post   =@> Tampering_With_Cursors_Prohibited (Container);>
 
+!corrigendum A.18.3(23/2)
+
+@drepl
+@xcode<   @b<procedure> Append (Container : @b<in out> List;
+                     New_Item  : @b<in>     Element_Type;
+                     Count     : @b<in>     Count_Type := 1);>
+@dby
+@xcode<   @b<procedure> Append (Container : @b<in out> List;
+                     New_Item  : @b<in>     Element_Type;
+                     Count     : @b<in>     Count_Type := 1)
+      @b<with> Pre  =@> (@b<not> Tampering_With_Cursors_Prohibited (Container)
+                       @b<or else raise> Program_Error) @b<and then>
+                   (Length (Container) <= Count_Type'Last - Count
+                       @b<or else raise> Constraint_Error),
+           Post =@> Length (Container)'Old + Count = Length (Container);>
 
 !corrigendum A.18.3(81/3)