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

--- ai12s/ai12-0145-1.txt	2015/01/22 01:54:29	1.1
+++ ai12s/ai12-0145-1.txt	2015/01/30 05:23:09	1.2
@@ -1,5 +1,7 @@
-!standard 13.11.4(20/3)                                   15-01-21  AI05-0145-1/01
+!standard 13.11.4(20/3)                                   15-01-28  AI05-0145-1/02
 !class binding interpretation 15-01-21
+!status Corrigendum 2015 15-01-28
+!status ARG Approved 9-0-1  15-01-28
 !status work item 15-01-21
 !status received 14-12-04
 !priority Low
@@ -15,7 +17,7 @@
 
 What does Pool_of_Subpool return if Set_Pool_of_Subpool has never been called
 for the specific subpool handle? (Null.) 13.11.4(20/3) only says this about
-about Pool_of_Subpool:
+Pool_of_Subpool:
 
 An access to the pool that a subpool belongs to can be obtained by calling
 Pool_of_Subpool with the subpool handle.
@@ -39,7 +41,7 @@
 
 !discussion
 
-There are at least two plausable ways for such a call to happen
+There are at least two plausible ways for such a call to happen:
 
 (1) Create_Subpool (or other constructor) forgets to call Set_Pool_of_Subpool.
     (Equivalently, Pool_of_Subpool is called within a subpool constructor