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

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

--- ai12s/ai12-0113-1.txt	2014/10/07 04:24:47	1.4
+++ ai12s/ai12-0113-1.txt	2014/10/14 03:53:09	1.5
@@ -145,7 +145,7 @@
 
    with P12;
    package P13 is
-       type GrandChild is new P11.Child with private;
+       type GrandChild is new P12.Child with private;
 
        overriding
        function Is_Valid (P : in Grandchild) return Boolean;
@@ -191,7 +191,7 @@
 
    with P22;
    package P23 is
-       type GrandChild is new P21.Child with private;
+       type GrandChild is new P22.Child with private;
 
        overriding
        function Is_Valid (P : in Grandchild) return Boolean;
@@ -296,7 +296,7 @@
 an overridden routine has to be the same or weaker than that of the parent
 routine. There is nothing weaker than True, so if a routine does not have
 an explicit Pre'Class, it can't usefully be given a Pre'Class later in the
-derivation tree. This topic is further explored in AI12-013x-1.
+derivation tree. This topic is further explored in AI12-0131-1.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent