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

Differences between 1.8 and version 1.9
Log of other versions for file ai12s/ai12-0022-1.txt

--- ai12s/ai12-0022-1.txt	2013/01/04 04:38:04	1.8
+++ ai12s/ai12-0022-1.txt	2013/05/09 01:39:14	1.9
@@ -1,4 +1,4 @@
-!standard 4.4(3/3)                                12-12-17    AI12-0022-1/04
+!standard 4.4(3/3)                                13-05-08    AI12-0022-1/05
 !standard 11.2(6)
 !standard 11.3(2/2)
 !standard 11.3(3)
@@ -13,14 +13,14 @@
 !status received 12-02-24
 !priority High
 !difficulty Medium
-!subject Raise expressions for specifying the exception raised for an assertion
+!subject Raise expressions
 The raise_expression is added to Ada.
-We want to encourage the conversion of comments to predicates/preconditions
+We want to encourage the conversion of comments into predicates/preconditions
 in existing libraries. However, changing the exception raised may be
 an unacceptable incompatibility. Some mechanism should be provided to
 allow specifying the exception to be raised by the failure of an assertion.

Questions? Ask the ACAA Technical Agent