--- 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