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

--- ai12s/ai12-0112-1.txt	2020/12/09 06:26:42	1.30
+++ ai12s/ai12-0112-1.txt	2021/02/13 04:55:41	1.31
@@ -2577,6 +2577,18 @@
 The iterator object needs finalization.>
 
 
+!corrigendum A.18.18(6/3)
+
+@drepl
+@xcode<   @b<type> Holder @b<is tagged private>;
+   @b<pragma> Preelaborable_Initialization (Holder);>
+@dby
+@xcode<   @b<type> Holder @b<is tagged private> 
+      @b<with> Stable_Properties =@> (Is_Empty,
+                                 Tampering_With_The_Element_Prohibited),
+           Default_Initial_Condition =@> Is_Empty (Holder);
+   @b<pragma> Preelaborable_Initialization (Holder);>
+
 !corrigendum A.18.18(8/3)
 
 @dinsa
@@ -2598,7 +2610,6 @@
                        @b<or else raise> Program_Error),
            Post =@> (@b<if> Target /= Source @b<then>
                        Is_Empty (Source) @b<and then> (@b<not> Is_Empty (Target)));>
-
 
 !corrigendum A.18.18(66/3)