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

--- ai05s/ai05-0184-1.txt	2009/11/03 01:06:11	1.1
+++ ai05s/ai05-0184-1.txt	2009/11/04 06:26:38	1.2
@@ -1,4 +1,4 @@
-!standard A.18.17 (0)                                09-11-02  AI05-0184-1/01
+!standard A.18.17 (0)                                09-11-02  AI05-0184-1/02
 !standard A.18.18 (0)
 !standard A.18.19 (0)
 !standard A.18.20 (0)
@@ -56,12 +56,14 @@
           is readable by Element_Type'Input or Element_Type'Read,
           respectively (where Element_Type denotes the type of
           of the two actual Element_Type parameters); and
-        - the preceding two conditions also hold the Index_Type
+        - the preceding two conditions also hold for the Index_Type
           parameters of the instances.
 
-The condition which mentions the Index_Type parameters is omitted for the
-non-vector containers (which have no Index_Type parameter). In that case, the ";
-and" of the formerly penultimate condition is replaced with a period.
+The condition which mentions the Index_Type parameters is:
+  - replaced by similar wording for Key_Type parameters for map containers;
+  - omitted for list and set containers (which have no extra parameters).
+    In that case, the "; and" of the formerly penultimate condition is
+    replaced with a period.
 
 !discussion
 
@@ -342,5 +344,27 @@
 Stuttering here?? A strange fetish for the word "the"? ;-)
 
 I've fixed this in the posted AI.
+
+****************************************************************
+
+From: Steve Baird
+Sent: Monday, November 2, 2009  8:00 PM
+
+>>     if the the two instances meet the the following conditions
+> 
+> Stuttering here?? A strange fetish for the word "the"? ;-)
+> 
+> I've fixed this in the posted AI.
+> 
+
+Conservation of three-letter words.
+Delete a "the" and insert a "for" into
+   "preceding two conditions also hold the Index_Type"
+
+Randy Brukardt wrote:
+> Would you not need to have similar wording for the Key_Type parameter 
+> of maps?
+
+Right. Thanks for catching that.
 
 ****************************************************************