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

--- ai05s/ai05-0157-1.txt	2012/01/05 06:19:32	1.10
+++ ai05s/ai05-0157-1.txt	2012/02/19 04:54:04	1.11
@@ -55,14 +55,14 @@
 
 Add after 13.11.2(17): (Implementation Advice)
 
-A call on an instance of Unchecked_Deallocation with a non-null access value should
+A call on an instance of Unchecked_Deallocation with a nonnull access value should
 raise Program_Error if the actual access type of the instance is a type for which
 the Storage_Size has been specified to be zero or is defined by the language to be
 zero.
 
 AARM Note: If the call is not illegal (as in a generic body), we recommend that
 it raise Program_Error. Since the execution of this call is erroneous (any allocator
-from the pool will have raised Storage_Error, so the non-null access value must
+from the pool will have raised Storage_Error, so the nonnull access value must
 have been allocated from a different pool or be a stack-allocated object), we can't
 require any behavior - anything at all would be a legitimate implementation.
 
@@ -174,7 +174,7 @@
 @dinsa
 For a standard storage pool, Free should actually reclaim the storage.
 @dinst
-A call on an instance of Unchecked_Deallocation with a non-null access value should
+A call on an instance of Unchecked_Deallocation with a nonnull access value should
 raise Program_Error if the actual access type of the instance is a type for which
 the Storage_Size has been specified to be zero or is defined by the language to be
 zero.