CVS difference for 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