CVS difference for ai05s/ai05-0082-1.txt

--- ai05s/ai05-0082-1.txt	2008/03/07 06:15:19	1.2
+++ ai05s/ai05-0082-1.txt	2008/05/10 05:14:33	1.3
@@ -1,4 +1,4 @@
-!standard 3.10.2(19/2)                                           08-02-22    AI05-0082-1/02
+!standard 3.10.2(19/2)                                           08-04-18    AI05-0082-1/03
 !standard 3.10.2(20)
 !class binding interpretation 08-01-16
 !status ARG Approved  6-0-3  08-02-10
@@ -11,7 +11,7 @@
 
 !summary
 
-Static accessibility checks are not made on type derived from generic formal types.
+Static accessibility checks are not made on types derived from generic formal types.
 
 !question
 
@@ -92,7 +92,7 @@
 The rules currently say that the static accessibility level of a generic formal type
 is that of the generic. But the effect of that is to prevent doing things in the generic
 which will work perfectly well in instances (presuming that they are instantiated
-with an actual type that have the right level). Moreover, this is an incompatibility
+with an actual type that has the right level). Moreover, this is an incompatibility
 with Ada 95, and one that would be hard to work around - the only fix is to eliminate
 the nesting of the generic. (One has to presume that the user has a reason, such
 as accessing up-level entities, for nesting the generic.)
@@ -104,7 +104,7 @@
 any checks skipped in the body will be checked at runtime.
 
 
-!corrigendum 3.10.2(19)
+!corrigendum 3.10.2(19/2)
 
 @drepl
 The statically deeper relationship does not apply to the accessibility