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

Differences between 1.3 and version 1.4
Log of other versions for file ai05s/ai05-0044-1.txt

--- ai05s/ai05-0044-1.txt	2007/12/13 04:39:36	1.3
+++ ai05s/ai05-0044-1.txt	2008/05/29 04:36:46	1.4
@@ -1,4 +1,4 @@
-!standard A.18(4/2)                                               07-11-29    AI05-0044-1/03
+!standard A.18(4/2)                                               08-05-15    AI05-0044-1/04
 !standard A.18.2(231/2)
 !standard A.18.3(145/2)
 !standard A.18.6(56/2)
@@ -61,7 +61,7 @@
 it is generally required to define a strict weak ordering. An operator "<"
 defines a *strict weak ordering* if it is irreflexive,
 asymmetric, transitive, and in addition, if x < y for any values x and y,
-then for all other values z, (x < z) or (z < y).
+then for any other value z, (x < z) or (z < y).
 
 Replace the second sentence of A.18.2(231/2) by
 It should define a strict weak ordering relationship (see A.18); it should not modify

Questions? Ask the ACAA Technical Agent