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

Differences between 1.10 and version 1.11
Log of other versions for file ai12s/ai12-0187-1.txt

--- ai12s/ai12-0187-1.txt	2017/12/09 04:48:12	1.10
+++ ai12s/ai12-0187-1.txt	2018/04/05 04:19:25	1.11
@@ -1,4 +1,4 @@
-!standard 7.3.3(0)                                    17-12-07  AI12-0187-1/07
+!standard 7.3.4(0)                                    17-12-07  AI12-0187-1/07
 !standard 13.1.1(4/3)
 !class Amendment 16-06-02
 !status Amendment 1-2012 17-11-21
@@ -89,7 +89,7 @@
 
 Add a new clause:
 
-7.3.3 Stable Properties of a Type
+7.3.4 Stable Properties of a Type
 
   It is usual that some of the characteristics of a data type are unchanged by
   most of the primitive operations on the type. Such characteristics are called
@@ -413,7 +413,7 @@
 
     end Ada.Text_IO;
 
-!corrigendum 7.3.3(0)
+!corrigendum 7.3.4(0)
 
 @dinsc
 

Questions? Ask the ACAA Technical Agent