CVS difference for ai12s/ai12-0179-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0179-1.txt

--- ai12s/ai12-0179-1.txt	2017/04/21 04:25:35	1.6
+++ ai12s/ai12-0179-1.txt	2017/04/25 06:00:31	1.7
@@ -1,4 +1,4 @@
-!standard 1.1.3(17/3)                                  17-04-20  AI12-0179-1/05
+!standard 1.1.3(17/3)                                  17-04-24  AI12-0179-1/06
 !standard 11.4.2(23.1/3)
 !class binding interpretation 16-01-04
 !status Amendment 1-2012 16-11-10
@@ -11,8 +11,8 @@
 !subject Failure of postconditions of language-defined units
 !summary
 
-Postconditions and invariants of language-defined units are intended to
-describe the results of a call on the unit and as such do not fail in a
+Postconditions and invariants of language-defined units describe properties
+of the results of a call on the unit and therefore do not fail in a
 correct implementation.
 
 !question

Questions? Ask the ACAA Technical Agent