CVS difference for acats/new/bc60005.a

Differences between 1.1 and version 1.2
Log of other versions for file acats/new/bc60005.a

--- acats/new/bc60005.a	2018/06/13 06:35:57	1.1
+++ acats/new/bc60005.a	2018/06/14 05:41:25	1.2
@@ -38,20 +38,19 @@
 --     of the corresponding parameter or result of the actual subprogram
 --     does not exclude null.
 --
---  generic in the specification of an outer
--- ic formal subprogram with a parameter or result type
--- 
---  an access_definition with a null_exclusion whose
--- subprogram object of an outer generic,
--- tiation of the outer generic is illegal if the
---  parameter or result of the actual subprogram does
--- xclusion.
+--     For an instance of a generic with a generic formal subprogram with
+--     a parameter or result type that has null_exclusion or is an
+--     access_definition with a null_exclusion whose actual is a generic formal
+--     subprogram of an outer generic and that appears in the specification
+--     of the outer generic, check that an instantiation of the outer generic
+--     is illegal if the if the corresponding parameter or result of the
+--     actual subprogram does not include a null_exclusion.
 --
---  generic in the body of an outer
--- ic formal subprogram with a parameter or result
--- _exclusion or is an access_definition with a
---  actual is a null excluding generic formal object of
--- eck that the instance is illegal if the
+--     For an instance of a generic with a generic formal subprogram with
+--     a parameter or result type that has null_exclusion or is an
+--     access_definition with a null_exclusion whose actual is a generic formal
+--     subprogram of an outer generic and that appears in the body
+--     of the outer generic, check that the instance is illegal if the
 --     corresponding parameter or result of the formal subprogram does not
 --     include a null_exclusion.
 --

Questions? Ask the ACAA Technical Agent