--- ai12s/ai12-0199-1.txt 2016/11/15 01:10:52 1.3 +++ ai12s/ai12-0199-1.txt 2016/11/24 02:41:08 1.4 @@ -150,7 +150,7 @@ then the invariant expression applies to all descendants of @i<T>. @dby If the Type_Invariant'Class aspect is specified for a tagged type @i<T>, -then a /corresponding expression/ also applies to each nonabstract +then a @i<corresponding expression> also applies to each nonabstract descendant @i<T1> of @i<T> (including @i<T> itself if it is nonabstract). The corresponding expression is constructed from the associated expression as follows:

Questions? Ask the ACAA Technical Agent