CVS difference for ais/ai-00131.txt

--- ais/ai-00131.txt	1999/09/16 20:40:29	1.13
+++ ais/ai-00131.txt	2000/04/14 01:45:07	1.14
@@ -1,4 +1,4 @@
-!standard B.1      (01)                                 99-09-15  AI95-00131/10
+!standard B.1      (01)                                 00-04-11  AI95-00131/11
 !standard B.1      (13-18)
 !standard B.1      (60-61)
 !standard B.1      (68-69)
@@ -138,13 +138,13 @@
 subprograms that convert between String and char_array, except that
 wide_nul is used instead of nul.>
 @dinss
-A Convention pragma with @fa<@i<convention>_identifier> C_Pass_By_Copy may
+A Convention pragma with @fa<@i<convention>_identifier> C_Pass_By_Copy shall
 only be applied to a type.
 
-A type T is eligible for convention C_Pass_By_Copy if T is a record type that
-has no discriminants and that only has components with statically constrained
-subtypes, and each component is C-compatible.  (The eligibility rules
-in B.1 do not apply to convention C_Pass_By_Copy.)
+The eligibility rules in B.1 do not apply to convention C_Pass_By_Copy.
+Instead, a type T is eligible for convention C_Pass_By_Copy if T is a record
+type that has no discriminants and that only has components with statically
+constrained subtypes, and each component is C-compatible.
 
 If a type is C_Pass_By_Copy-compatible then it is also C-compatible.
 
@@ -170,7 +170,7 @@
 temporary copy is used to preserve by-copy semantics.>
 @dinst
 @xbullet<An Ada parameter of a C_Pass_By_Copy-compatible (record) type T,
-of mode @b<in>, should be passed as a t argument to a C function, where t is the
+of mode @b<in>, is passed as a t argument to a C function, where t is the
 C struct corresponding to the Ada type T.>
 
 !corrigendum B.03(69)