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

--- ai12s/ai12-0301-1.txt	2019/01/15 23:00:17	1.2
+++ ai12s/ai12-0301-1.txt	2019/03/05 03:55:12	1.3
@@ -1,4 +1,4 @@
-!standard 3.2.4(31/4)                                    19-01-15  AI12-0301-1/02
+!standard 3.2.4(31/4)                                    19-03-04  AI12-0301-1/03
 !class binding interpretation 19-01-09
 !status Amendment 1-2012 19-01-15
 !status ARG Approved 11-0-0  19-01-14
@@ -7,10 +7,10 @@
 !priority Low
 !difficulty Easy
 !qualifier Omission
-!subject Predicates should work like constraints for types with Default_Value
+!subject Predicates should be checked like constraints for types with Default_Value
 !summary
 
-If a part of an default-initialized object has specified Default_Value or
+If a part of a default-initialized object has specified Default_Value or
 Default_Component_Value aspects, predicates are evaluated for the object.
 
 !question