CVS difference for ais/ai-00130.txt

--- ais/ai-00130.txt	2000/08/01 05:39:33	1.12
+++ ais/ai-00130.txt	2003/05/24 00:51:32	1.13
@@ -223,6 +223,10 @@
 Create a C-Test to check that No_Local_Allocators and No_Nested_Finalization
 allow generic instantiations of appropriate packages.
 
+B-Test BXH4003 has been corrected and improved to test that No_Local_Allocators
+does indeed check that generic units are not instantiated at a non-library
+when they contain library-level allocators.
+
 !appendix
 
 [Note: The original comment inadvertently referred to G.4(08)