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

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

--- ai12s/ai12-0133-1.txt	2014/11/15 03:31:04	1.3
+++ ai12s/ai12-0133-1.txt	2015/01/20 03:24:39	1.4
@@ -1,4 +1,4 @@
-!standard 7.3.2(10.3/3)                                14-11-13  AI05-0133-1/03
+!standard 7.3.2(10.3/3)                                15-01-19  AI05-0133-1/04
 !class binding interpretation 14-10-09
 !status Corrigendum 2015 14-11-13
 !status ARG Approved 7-0-1  14-10-18
@@ -64,7 +64,7 @@
 it occurs. As such, the rule is simplified by having it apply everywhere.
 
 However, if the private type with a type invariant has unknown discriminants,
-then no default initialization is allowed outside of the package. In that case,
+then no default initialization is allowed outside the package. In that case,
 checking the invariant could only happen inside the package, which makes no
 sense (and could make it difficult to construct objects as default initialized
 objects and components could raise Assertion_Error). Therefore, we add an

Questions? Ask the ACAA Technical Agent