CVS difference for ais/ai-00407.txt

--- ais/ai-00407.txt	2005/04/13 05:37:22	1.4
+++ ais/ai-00407.txt	2005/05/15 23:46:20	1.5
@@ -76,7 +76,7 @@
 
 If the name or prefix of a subprogram call denotes a prefixed view (see 4.1.3),
 the subprogram call is equivalent to a call on the underlying subprogram, with
-the first actual parameter being provided by the the prefix of the prefixed view
+the first actual parameter being provided by the prefix of the prefixed view
 (or the Access attribute of this prefix if the first formal parameter is an
 access parameter), and the remaining actual parameters given by the
 actual_parameter_part, if any.
@@ -176,10 +176,10 @@
 @dinst
 If the @fa<name> or @fa<prefix> of a subprogram call denotes a prefixed view
 (see 4.1.3), the subprogram call is equivalent to a call on the underlying
-subprogram, with the first actual parameter being provided by the the prefix of
-the prefixed view (or the Access attribute of this prefix if the first formal
-parameter is an access parameter), and the remaining actual parameters given by
-the @fa<actual_parameter_part>, if any.
+subprogram, with the first actual parameter being provided by the @fa<prefix>
+of the prefixed view (or the Access attribute of this @fa<prefix> if the first
+formal parameter is an access parameter), and the remaining actual parameters
+given by the @fa<actual_parameter_part>, if any.
 
 
 !ACATS test