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

--- ai12s/ai12-0393-1.txt	2020/09/11 22:24:01	1.2
+++ ai12s/ai12-0393-1.txt	2020/09/12 02:56:35	1.3
@@ -27,8 +27,8 @@
 in the context of a static predicate, and it seems worth re-opening, and 
 coming to the conclusion that such a constant is not static. However, we plan 
 to retain this as a pathology, since there was an ACATS test (ACATS test 
-B490001) which required declaring such a constant object as static, which
-forced implementers to make a choice.
+B490001) which required allowing the declaration of such a constant object,
+which forced implementers to make a choice about this question.
 
 !wording
 
@@ -63,7 +63,7 @@
 treated the constant as static (making previously legal code illegal, even 
 if it never is executed), potentially impacting their customers. Such code
 is very possible in conditionally compiled code; enforcement of legality rules
-on static expressions enforced on such code is a known problem with Ada.
+on static expressions enforced on such code is a known issue with Ada.
 
 Finally, in most cases, the original "static" object that did not satisfy 
 a constraint or predicate would raise an exception at run time, so code using