CVS difference for ai12s/ai12-0064-2.txt
--- ai12s/ai12-0064-2.txt 2017/02/15 23:46:18 1.13
+++ ai12s/ai12-0064-2.txt 2017/02/16 00:50:01 1.14
@@ -353,7 +353,7 @@
Denotes whether package P is considered nonblocking; the type
of this attribute is the predefined type Boolean.
- P'Nonblocking returns the blocking restriction expression of P;
+ P'Nonblocking represents the blocking restriction expression of P;
evaluation of P'Nonblocking evaluates that expression.
For a prefix S that denotes a subtype (including formal subtypes):
Questions? Ask the ACAA Technical Agent