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

--- ai12s/ai12-0181-1.txt	2016/01/09 01:22:42	1.2
+++ ai12s/ai12-0181-1.txt	2016/07/12 04:10:14	1.3
@@ -1,7 +1,9 @@
-!standard 13.1(9/4)                                    16-01-08  AI12-0181-1/02
+!standard 13.1(9/4)                                    16-07-11  AI12-0181-1/03
 !standard 13.1(9.1/4)
 !standard 13.14(19)
 !class binding interpretation 16-01-07
+!status Amendment 1-2012 16-07-11
+!status ARG Approved 10-0-1  16-06-11
 !status work item 16-01-07
 !status received 15-12-07
 !priority Low
@@ -85,6 +87,28 @@
 that conclusion, as it is complete for operational aspects. If it was a problem
 for the author, it has to be harder for other readers, thus we add the
 missing rule in 13.1(9/4) and replace the redundant brackets on 13.14(19).
+
+!corrigendum 13.1(9/4)
+
+@drepl
+A representation item that directly specifies an aspect of a subtype or type
+shall appear after the type is completely defined (see 3.11.1), and before
+the subtype or type is frozen (see 13.14). 
+@dby
+A representation item that directly specifies an aspect of an entity shall
+appear before the entity is frozen (see 13.14). In addition, a
+representation item that directly specifies an aspect of a subtype or type
+shall appear after the type is completely defined (see 3.11.1).
+
+!corrigendum 13.1(9.1/4)
+
+@dinsa
+An operational item that directly specifies an aspect of an entity shall
+appear before the entity is frozen (see 13.14).
+@dinst
+An expression or name that freezes an entity shall not occur within an
+aspect_specification that specifies a representation or operational aspect
+of that entity.
 
 !ASIS