CVS difference for ai05s/ai05-0071-1.txt

Differences between 1.9 and version 1.10
Log of other versions for file ai05s/ai05-0071-1.txt

--- ai05s/ai05-0071-1.txt	2011/05/05 06:58:44	1.9
+++ ai05s/ai05-0071-1.txt	2012/03/27 01:55:19	1.10
@@ -184,6 +184,15 @@
 
 ACATS C-Test(s) are necessary for this change.
 
+!ASIS
+
+Add at the end of 12.45:
+- Ada Standard 12.6(10)
+  - The implicit subprogram that exists for class-wide types
+    corresponding to a defaulted formal subprogram is
+    Is_Part_Of_Implicit. The enclosing element of their declaration is the
+    enclosing element of the corresponding specific type.
+
 !appendix
 
 From: Tucker Taft

Questions? Ask the ACAA Technical Agent