CVS difference for ais/ai-20302.txt

--- ais/ai-20302.txt	2004/05/29 00:38:41	1.6
+++ ais/ai-20302.txt	2004/07/27 23:01:10	1.7
@@ -1,5 +1,6 @@
-!standard A.17                                       04-05-13  AI95-00302-03/04
+!standard A.17                                       04-06-29  AI95-00302-03/05
 !class amendment 04-01-14
+!comment Date is provisional.
 !status work item 04-01-14
 !status received 04-01-14
 !priority Medium
@@ -563,6 +564,8 @@
 end Ada.Containers.Vectors;
 
 
+The type Vector needs finalization (see 7.6).
+
 Empty_Vector represents the empty vector container. It has a length of 0. If an
 object of type Vector is not otherwise initialized, it will be initialized to
 the same value as Empty_Vector.
@@ -1443,6 +1446,8 @@
 end Ada.Containers.Doubly_Linked_Lists;
 
 
+The type List needs finalization (see 7.6).
+
 Empty_List represents the empty list. If an object of type List is not
 otherwise initialized, it will be initialized to the same value as
 Empty_List.
@@ -1973,6 +1978,7 @@
 designate nodes, but also can be thought of as designating an element (the
 element contained in the node) for consistency with the other containers.
 
+The type Map needs finalization (see 7.6).
 
 AARM Notes
 The expected implementation for a Map uses a hash table which is grown when
@@ -2510,6 +2516,8 @@
    ... -- not specified by the language
 
 end Ada.Containers.Ordered_Sets;
+
+The type Set needs finalization (see 7.6).
 
 Functions "<" and "=" on Element_Type values are expected to return the same
 result value each time they are called with a particular pair of element