CVS difference for ai12s/ai12-0158-1.txt
--- ai12s/ai12-0158-1.txt 2015/03/27 00:05:52 1.2
+++ ai12s/ai12-0158-1.txt 2015/03/31 23:57:56 1.3
@@ -99,15 +99,15 @@
@drepl
For the evaluation of a @fa<quantified_expression>, the @fa<loop_parameter_specification>
or @fa<iterator_specification> is first elaborated. The evaluation of a
-@fa<quantified_expression> then evaluates the predicate for the values of the loop
-parameter in the order specified by the @fa<loop_parameter_specification>
-(see 5.5) or @fa<iterator_specification> (see 5.5.2).
+@fa<quantified_expression> then evaluates the @fa<predicate> for each value of the
+loop parameter. These values are examined in the order specified by the
+@fa<loop_parameter_specification> (see 5.5) or @fa<iterator_specification> (see 5.5.2).
@dby
For the evaluation of a @fa<quantified_expression>, the @fa<loop_parameter_specification>
or @fa<iterator_specification> is first elaborated. The evaluation of a
-@fa<quantified_expression> then evaluates the predicate for each value of the
-loop parameter. These values are examined in the order specified by the
-@fa<loop_parameter_specification> (see 5.5) or @fa<iterator_specification> (see 5.5.2).
+@fa<quantified_expression> then evaluates the @fa<predicate> for the values of the loop
+parameter in the order specified by the @fa<loop_parameter_specification>
+(see 5.5) or @fa<iterator_specification> (see 5.5.2).
!corrigendum 4.5.8(8/3)
Questions? Ask the ACAA Technical Agent