CVS difference for ai12s/ai12-0065-1.txt
--- ai12s/ai12-0065-1.txt 2013/05/09 03:54:08 1.1
+++ ai12s/ai12-0065-1.txt 2013/06/11 00:30:15 1.2
@@ -5,7 +5,7 @@
-!subject All properties of a profile are defined by pragmas
+!subject Descendants of incomplete views
@@ -43,7 +43,8 @@
wording. Perhaps it would be best to junk 7.3.1(5.2/3) or move its content into
AARM notes. Moreover, the example in AARM 7.3.1(5.a.1-4/3) does not illustrate
the situation described in 7.3.1(5.2/3) very well (there is no ancestor that
-is clearly not visible, although it is true for Root_Integer).
+is clearly not visible, although the described semantics are is true for the
+implicit type Root_Integer).
Here's hoping that the stuckee for this AI can figure out better wording.
Questions? Ask the ACAA Technical Agent