CVS difference for ai05s/ai05-0111-3.txt

--- ai05s/ai05-0111-3.txt	2011/06/20 04:55:17	1.14
+++ ai05s/ai05-0111-3.txt	2011/08/17 00:24:11	1.15
@@ -1,4 +1,4 @@
-!standard  4.8(2)                                   11-06-17    AI05-0111-3/11
+!standard  4.8(2)                                   11-07-18    AI05-0111-3/12
 !standard  4.8(3/2)
 !standard  4.8(5/2)
 !standard  4.8(10.3/2)
@@ -836,7 +836,7 @@
 @dby
 @xcode<@b<type> Mark_Release_Pool_Type
    (Pool_Size : Storage_Elements.Storage_Count)
-        @b<is new> Root_Storage_Pool @b<with private>;
+        @b<is new> Subpools.Root_Storage_Pool_with_Subpools @b<with private>;
       -- @i<@ft<As defined in package MR_Pool, see 13.11.6>>>
 
 !corrigendum 13.11(41)