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

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

--- ai12s/ai12-0131-1.txt	2014/11/15 03:38:39	1.3
+++ ai12s/ai12-0131-1.txt	2015/03/26 02:57:20	1.4
@@ -61,9 +61,9 @@
 Add after 6.1.1(17/3):
 
    Pre'Class shall not be specified for an overriding primitive
-   subprogram of a tagged type T unless Pre'Class is specified
-   for the corresponding primitive subprogram of some ancestor of
-   T.
+   subprogram of a tagged type T unless the Pre'Class aspect is
+   specified for the corresponding primitive subprogram of some
+   ancestor of T.
 
 AARM Reason: Any such Pre'Class will have no effect, as it will be
 "or"ed with True. As such, it is highly misleading for readers,
@@ -140,7 +140,7 @@
 precondition expression that applies to @i<S1>.
 @dinss
 Pre'Class shall not be specified for an overriding primitive
-subprogram of a tagged type @i<T> unless Pre'Class is specified
+subprogram of a tagged type @i<T> unless the Pre'Class aspect is specified
 for the corresponding primitive subprogram of some ancestor of @i<T>.
 
 In addition to the places where Legality Rules normally apply (see 12.3),

Questions? Ask the ACAA Technical Agent