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

--- ai12s/ai12-0356-1.txt	2020/01/17 05:41:03	1.3
+++ ai12s/ai12-0356-1.txt	2020/01/18 05:07:01	1.4
@@ -47,6 +47,24 @@
 Note that Root_Subpool also should have Preelaborable_Initialization, for
 similar reasons.
 
+!corrigendum 13.11.4(4/3)
+
+@drepl
+@xcode<   @b<type> Root_Storage_Pool_With_Subpools @b<is>
+      @b<abstract new> Root_Storage_Pool @b<with private>;>
+@dby
+@xcode<   @b<type> Root_Storage_Pool_With_Subpools @b<is>
+      @b<abstract new> Root_Storage_Pool @b<with private>;
+   @b<pragma> Preelaborable_Initialization (Root_Storage_Pool_With_Subpools);>
+
+!corrigendum 13.11.4(5/3)
+
+@drepl
+@xcode<   @b<type> Root_Subpool @b<is abstract tagged limited private>;>
+@dby
+@xcode<   @b<type> Root_Subpool @b<is abstract tagged limited private>;
+   @b<pragma> Preelaborable_Initialization (Root_Subpool);>
+
 !ASIS
 
 No ASIS effect.