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

Differences between 1.11 and version 1.12
Log of other versions for file 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.
 
-!problem
+!question
 
 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?
 
-!proposal
+!recommendation
 
 (See summary.)
 

Questions? Ask the ACAA Technical Agent