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

--- ai05s/ai05-0274-1.txt	2012/03/10 04:55:43	1.7
+++ ai05s/ai05-0274-1.txt	2012/04/03 22:21:06	1.8
@@ -1,4 +1,4 @@
-!standard  6.1.1(0)                              12-03-09    AI05-0274-1/07
+!standard  6.1.1(0)                              12-03-28    AI05-0274-1/08
 !standard 11.4.2(1/2)
 !standard 11.4.2(23/2)
 !standard 11.4.2(25/2)
@@ -121,7 +121,7 @@
 that an immediate reevaluation of the expression could produce a
 different value. Similarly, an implementation need not allow the
 specification of an assertion expression that is checked as part of a
-call or on return from a callable entity C, if the evaluation of the
+call on or return from a callable entity C, if the evaluation of the
 expression has a side effect such that the evaluation of some other
 assertion expression associated with the same call of (or return from) C
 could produce a different value than it would if the first expression
@@ -245,7 +245,7 @@
 that an immediate reevaluation of the expression could produce a
 different value. Similarly, an implementation need not allow the
 specification of an assertion expression that is checked as part of a
-call or on return from a callable entity @i<C>, if the evaluation of the
+call on or return from a callable entity @i<C>, if the evaluation of the
 expression has a side effect such that the evaluation of some other
 assertion expression associated with the same call of (or return from) @i<C>
 could produce a different value than it would if the first expression