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

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

--- ai12s/ai12-0374-1.txt	2020/06/02 23:35:18	1.4
+++ ai12s/ai12-0374-1.txt	2020/06/06 03:18:46	1.5
@@ -1,4 +1,4 @@
-!standard 9.5(24/5)                                   20-06-01  AI12-0374-1/03
+!standard 9.5(24/5)                                   20-06-05  AI12-0374-1/05
 !standard 9.5(27/5)
 !standard 9.5(34/5)
 !standard 9.5(36/5)
@@ -118,15 +118,15 @@
 
 with:
 
-  For the base type of a scalar (sub)type, the Nonblocking aspect is the 
+  For the base subtype of a scalar (sub)type, the Nonblocking aspect is the 
   Boolean literal True.
 
   AARM Reason: The first subtype of a scalar type can allow 
     blocking (which can be useful so a predicate can allow blocking), but the
-    base type is always Nonblocking. We need this so the Nonblocking value
-    is well-defined for any subtype that is built from the base type (T'Base).
-    T'Base of any scalar type, including a generic formal type, is always 
-    nonblocking.
+    base subtype is always Nonblocking. We need this so the Nonblocking value
+    is well-defined for any subtype that is built from the base subtype 
+    (T'Base). T'Base of any scalar subtype, including a generic formal type, 
+    is always nonblocking.
 
 Modify 9.5(36/5):
 

Questions? Ask the ACAA Technical Agent