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

--- ai05s/ai05-0159-1.txt	2011/03/17 01:54:38	1.17
+++ ai05s/ai05-0159-1.txt	2011/04/07 06:30:23	1.18
@@ -1,4 +1,4 @@
-!standard  A.18.27                                 11-02-01    AI05-0159-1/11
+!standard  A.18.27                                 11-04-04    AI05-0159-1/12
 !standard  A.18.28
 !standard  A.18.29
 !standard  A.18.30
@@ -272,7 +272,8 @@
 False.
 
 Enqueue inserts an item according to the order specified by the Before function
-on the result of Get_Priority on the elements. If the queue already contains
+on the result of Get_Priority on the elements; Before should return True if Left
+is to be inserted before Right. If the queue already contains
 elements equivalent to New_Item, then it is inserted after the existing
 equivalent elements.
 
@@ -725,7 +726,8 @@
 both return False.
 
 Enqueue inserts an item according to the order specified by the Before function
-on the result of Get_Priority on the elements. If the queue already contains
+on the result of Get_Priority on the elements; Before should return True if Left
+is to be inserted before Right. If the queue already contains
 elements equivalent to New_Item, then it is inserted after the existing
 equivalent elements.