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

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0199-1.txt

--- 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