CVS difference for ai05s/ai05-0159-1.txt

--- ai05s/ai05-0159-1.txt	2011/04/07 06:30:23	1.18
+++ ai05s/ai05-0159-1.txt	2011/08/17 00:24:12	1.19
@@ -1,9 +1,8 @@
-!standard  A.18.27                                 11-04-04    AI05-0159-1/12
+!standard  A.18.27                                 11-07-18    AI05-0159-1/13
 !standard  A.18.28
 !standard  A.18.29
 !standard  A.18.30
 !standard  A.18.31
-!standard  A.18.32
 !class Amendment 05-10-24
 !status Amendment 2012 10-08-04
 !status ARG Approved  10-0-0  10-10-29
@@ -368,7 +367,7 @@
 Containers.Indefinite_Unbounded_Priority_Queues. These are identical to
 Containers.Synchronized_Queue_Interfaces,
 Containers.Unbounded_Synchronized_Queues, and
-Containers.Unbounded_Priority_Queues, respectively, except except that the
+Containers.Unbounded_Priority_Queues, respectively, except that the
 generic formal Element_Type is indefinite.
 
 !discussion
@@ -816,18 +815,19 @@
 Bounded priority queue objects should be implemented without implicit
 pointers or dynamic allocation.
 
-!corrigendum A.18.32
+!comment This clause is removed by AI05-0251-1.
+!comment !corrigendum A.18.32
+!comment 
+!comment @dinsc
+!comment There are three generic packages
+!comment Containers.Indefinite_Synchronized_Queue_Interfaces,
+!comment Containers.Indefinite_Unbounded_Synchronized_Queues, and
+!comment Containers.Indefinite_Unbounded_Priority_Queues. These are identical to
+!comment Containers.Synchronized_Queue_Interfaces,
+!comment Containers.Unbounded_Synchronized_Queues, and
+!comment Containers.Unbounded_Priority_Queues, respectively, except that the
+!comment generic formal Element_Type is indefinite.
 
-@dinsc
-There are three generic packages
-Containers.Indefinite_Synchronized_Queue_Interfaces,
-Containers.Indefinite_Unbounded_Synchronized_Queues, and
-Containers.Indefinite_Unbounded_Priority_Queues. These are identical to
-Containers.Synchronized_Queue_Interfaces,
-Containers.Unbounded_Synchronized_Queues, and
-Containers.Unbounded_Priority_Queues, respectively, except except that the
-generic formal Element_Type is indefinite.
-
 
 !ACATS test
 
@@ -3258,5 +3258,13 @@
 approved version yet (it's essentially unchanged except for the addition of an
 AARM note to explain the intent for 'Constrained of an untagged type derived
 from an ultimately tagged type.
+
+****************************************************************
+
+From: Christoph Grein
+Date: Sunday, July 17, 2011  11:50 PM
+
+A.18.32(1/3) ..., and Containers.Unbounded_Priority_Queues,
+respectively, except[ except] that the generic formal Element_Type is indefinite.
 
 ****************************************************************