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

Differences between 1.15 and version 1.16
Log of other versions for file ai12s/ai12-0042-1.txt

--- ai12s/ai12-0042-1.txt	2014/07/23 02:34:07	1.15
+++ ai12s/ai12-0042-1.txt	2014/07/31 02:09:33	1.16
@@ -76,7 +76,7 @@
            overrides an inherited operation that is visible outside the
            immediate scope of T.}
 
-Add after 7.2.3 (20/3)
+Add after 7.3.2 (20/3)
   * For a view conversion to a class-wide type occurring
     within the immediate scope of T, from a specific type that is
     a descendant of T (including T itself), a check is performed

Questions? Ask the ACAA Technical Agent