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

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

--- ai12s/ai12-0333-1.txt	2019/07/04 01:43:46	1.5
+++ ai12s/ai12-0333-1.txt	2019/07/04 02:07:53	1.6
@@ -117,7 +117,8 @@
 the nominal subtype.>
 @dby
 @xindent<On a subtype conversion, a check is performed that the operand
-satisfies the predicates of the target subtype. In addition, after normal 
+satisfies the predicates of the target subtype, unless it is a conversion for 
+an actual parameter of mode @b<out> (see 4.6). In addition, after normal 
 completion and leaving of a
 subprogram, for each @b<in out> or @b<out> parameter that is passed by reference,
 a check is performed that the value of the parameter satisfies the predicates

Questions? Ask the ACAA Technical Agent