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

--- ai12s/ai12-0112-1.txt	2021/05/30 00:35:10	1.32
+++ ai12s/ai12-0112-1.txt	2021/07/09 03:04:38	1.33
@@ -2637,6 +2637,13 @@
 Source and inserted into Target, replacing any preexisting content.>
 
 
+!corrigendum A.18.19(5/3)
+
+@drepl
+@xcode<   @b<type> Vector (Capacity : Count_Type) @b<is tagged private>;>
+@dby
+@xcode<   @b<type> Vector (Capacity : Count_Type) @b<is tagged private>...>
+
 !corrigendum A.18.19(6/3)
 
 @dinsa
@@ -2645,6 +2652,51 @@
 @dinst
 @xbullet<Capacity is omitted from the Stable_Properties of type Vector.>
 
+!corrigendum A.18.20(5/3)
+
+@drepl
+@xcode<   @b<type> List (Capacity : Count_Type) @b<is tagged private>;>
+@dby
+@xcode<   @b<type> List (Capacity : Count_Type) @b<is tagged private>...>
+
+!corrigendum A.18.21(5/5)
+
+@drepl
+@xcode<   @b<type> Map (Capacity : Count_Type;
+            Modulus  : Hash_Type) @b<is tagged private>;>
+@dby
+@xcode<   @b<type> Map (Capacity : Count_Type;
+            Modulus  : Hash_Type) @b<is tagged private>...>
+
+!corrigendum A.18.22(5/5)
+
+@drepl
+@xcode<   @b<type> Map (Capacity : Count_Type) @b<is tagged private>;>
+@dby
+@xcode<   @b<type> Map (Capacity : Count_Type) @b<is tagged private>...>
+
+!corrigendum A.18.23(5/5)
+
+@drepl
+@xcode<   @b<type> Set (Capacity : Count_Type;
+            Modulus  : Hash_Type) @b<is tagged private>;>
+@dby
+@xcode<   @b<type> Set (Capacity : Count_Type;
+            Modulus  : Hash_Type) @b<is tagged private>...>
+
+!corrigendum A.18.24(5/5)
+
+@drepl
+@xcode<   @b<type> Set (Capacity : Count_Type) @b<is tagged private>;>
+@dby
+@xcode<   @b<type> Set (Capacity : Count_Type) @b<is tagged private>...>
+
+!corrigendum A.18.25(5/5)
+
+@drepl
+@xcode<   @b<type> Tree (Capacity : Count_Type) @b<is tagged private>;>
+@dby
+@xcode<   @b<type> Tree (Capacity : Count_Type) @b<is tagged private>...>
 
 !corrigendum A.18.27(9/3)