CVS difference for ai05s/ai05-0146-1.txt

--- ai05s/ai05-0146-1.txt	2011/01/31 04:22:20	1.13
+++ ai05s/ai05-0146-1.txt	2011/05/07 01:57:07	1.14
@@ -1,4 +1,4 @@
-!standard 13.3.3 (00)                                10-10-19  AI05-0146-1/08
+!standard 7.3.2 (00)                                10-10-19  AI05-0146-1/08
 !class amendment 09-02-15
 !status Amendment 2012 10-09-02
 !status WG9 Approved 10-10-28
@@ -117,7 +117,7 @@
         Dynamic Semantics
 
   If one or more invariant expressions apply to a type T, and the Assertion_Policy
-  at the point of the partial view declaration for T is Check, then an
+  (see 11.4.2) at the point of the partial view declaration for T is Check, then an
   invariant check is performed at the following places, on the specified object(s):
 
   * After default initialization of an object of type T, on the new object;
@@ -321,12 +321,13 @@
 end Stacks;
 
 
-!corrigendum 13.3.3(0)
+!comment AI05-0247-1 moves this to 7.3.2
+!corrigendum 7.3.2(0)
 
 @dinsc
 
 For a private type or private extension, the following language-defined aspects
-may be specified with an @fa<aspect_specification>:
+may be specified with an @fa<aspect_specification> (see 13.3.1):
 
 @xhang<@xterm<Type_Invariant>
 This aspect shall be specified by an @fa<expression>, called an @i<invariant