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

--- ai05s/ai05-0131-1.txt	2011/05/05 07:41:16	1.6
+++ ai05s/ai05-0131-1.txt	2013/10/24 02:20:31	1.7
@@ -292,6 +292,21 @@
 
 An ACATS C-test should test the revised rule.
 
+!ASIS
+
+Add at the end of 12.45:
+- Ada Standard 12.6(9.1-2)
+  - The implicit subprogram that exists for class-wide types corresponding
+    to an explicitly specified formal subprogram is Is_Part_Of_Implicit. The
+    enclosing element of their declaration is the enclosing element of the
+    corresponding specific type.
+
+[Editor's note: I don't understand the last sentence; I copied it from AI05-0071-1
+as these should be the same. This is a primitive subprogram of some sort, which
+I would have expected to be enclosed by a package declaration that also contains
+the type declaration, not some type. If we need to fix one of these sentences,
+we also need to fix the other.]
+
 !appendix
 
 !topic Should AI05-0071 allow renaming subprograms?