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

--- ai05s/ai05-0033-1.txt	2007/12/13 04:39:35	1.3
+++ ai05s/ai05-0033-1.txt	2008/05/10 05:14:33	1.4
@@ -1,4 +1,4 @@
-!standard 13.11.2(16)                                         07-11-09    AI05-0033-1/02
+!standard 13.11.2(16)                                         08-04-21    AI05-0033-1/03
 !standard C.3.1(7/2)
 !standard C.3.1(8/2)
 !class binding interpretation 06-12-15
@@ -142,17 +142,17 @@
 the access value clearly denotes a protected subprogram, which is not an object).
 Therefore, we add a rule covering this case.
 
-!corrigendum 13.11.1(16)
+!corrigendum 13.11.2(16)
 
 @drepl
 Evaluating a name that denotes a nonexistent object is erroneous. The execution of a call
 to an instance of Unchecked_Deallocation is erroneous if the object was created other
-than by an allocator for an access type whose pool is Name'Storage_Pool. 
+than by an @fa<allocator> for an access type whose pool is Name'Storage_Pool. 
 @dby
 Evaluating a name that denotes a nonexistent object or a protected subprogram whose
 associated object is nonexistent is erroneous. The execution of a call to an instance
 of Unchecked_Deallocation is erroneous if the object was created other than
-by an allocator for an access type whose pool is Name'Storage_Pool. 
+by an @fa<allocator> for an access type whose pool is Name'Storage_Pool. 
 
 !corrigendum C.3.1(7/2)