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

--- ai05s/ai05-0007-1.txt	2006/12/16 03:13:16	1.4
+++ ai05s/ai05-0007-1.txt	2007/05/26 01:43:59	1.5
@@ -1,4 +1,4 @@
-!standard 13.13.2(50/2)                              06-12-13    AI05-0007-1/03
+!standard 13.13.2(50/2)                              07-05-15    AI05-0007-1/04
 !standard 13.13.2(51/2)
 !class binding interpretation 06-03-17
 !status ARG Approved  9-0-1  06-11-18
@@ -22,14 +22,14 @@
 since it is not scalar.
 
    package P is
-     type Lim is limited private;
-     procedure Read(S : access Root_Stream_Type'Class; Obj : out Lim);
-     for Lim'Read use Read;
+      type Lim is limited private;
+      procedure Read(S : access Root_Stream_Type'Class; Obj : out Lim);
+      for Lim'Read use Read;
    private
-     type Lim is new Positive;
+      type Lim is new Positive;
    end P;
 
-Is this requirement checked? (No.) If it is, how can we define a
+Is this requirement correct? (No.) If it is, how can we define a
 visible attribute of a private type?
 
 !recommendation
@@ -78,7 +78,7 @@
        for My_Lim'Read use Read;
     end G;
 
-By the rules on legality rules in a generic instance (12.3(11)), the legality
+By the legality rules for a generic instance (12.3(11)), the legality
 rules are rechecked in an instance based on the properties of the actual. Thus,
 if the instantiation is: