CVS difference for ai12s/ai12-0022-1.txt
--- ai12s/ai12-0022-1.txt 2013/11/22 01:55:50 1.11
+++ ai12s/ai12-0022-1.txt 2013/12/07 03:59:23 1.12
@@ -19,14 +19,13 @@
The raise_expression is added to Ada.
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.
+in existing libraries. However, changing the exception raised is likely to be
+an unacceptable incompatibility. How can this be done?
Questions? Ask the ACAA Technical Agent