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

--- ai12s/ai12-0256-1.txt	2018/07/21 05:42:53	1.4
+++ ai12s/ai12-0256-1.txt	2018/09/05 21:28:47	1.5
@@ -1,4 +1,4 @@
-!standard H.4.1(0)                                  18-07-21  AI12-0256-1/03
+!standard H.4.1(0)                                  18-08-31  AI12-0256-1/04
 !standard 13.1.1(18.7/5)
 !class Amendment 18-01-31
 !status Amendment 1-2012 18-07-06
@@ -38,14 +38,10 @@
 
 !proposal
 
-(See Summary.)
+A new aspect No_Controlled_Parts is defined which can be applied to types to
+ensure that they and their descendants have no controlled parts.
 
 !wording
-
-[Editor's note: I'm not sure where this goes in the Standard. It seems
-related to H.4, High-Integrity Restrictions, and it IS a restriction,
-but only on a single type and its descendants. So I've put it there
-pending discussion.
 
 H.4.1 Aspect No_Controlled_Parts