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

--- ai12s/ai12-0003-1.txt	2015/01/27 22:51:03	1.12
+++ ai12s/ai12-0003-1.txt	2015/01/28 00:21:33	1.13
@@ -119,6 +119,16 @@
    storage pool for the Storage_Pool attribute in an implementation-defined
    manner.
 
+[Editor's note: This bullet is redundant with the "Otherwise" bullet,
+   13.11.3(6.3/3). If we keep it, it needs a cross reference to 13.11,
+   else the above is just confusing. I'd suggest changing 13.11.3(6.3/3) as
+   follows and drop the above bullet:
+
+   Otherwise {(including when the default pool is specified as Standard)}[,
+   there is no default pool;] the standard storage pool is used for the type as
+   described in 13.11.
+]
+
 Modify 13.11.3(6.2/3):
 
    If the default pool is {neither} [non]null {nor Standard}, the Storage_Pool