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

--- ai05s/ai05-0157-1.txt	2010/10/16 03:58:11	1.8
+++ ai05s/ai05-0157-1.txt	2011/11/01 05:32:52	1.9
@@ -158,9 +158,9 @@
 
 !corrigendum 13.11.2(4)
 
-@dinst
-Given an instance of Unchecked_Deallocation declared as follows:
 @dinsb
+Given an instance of Unchecked_Deallocation declared as follows:
+@dinst
 @i<@s8<Legality Rules>>
 
 A call on an instance of Unchecked_Deallocation is illegal if the actual
@@ -171,9 +171,9 @@
 
 !corrigendum 13.11.2(17)
 
-@dinst
-For a standard storage pool, Free should actually reclaim the storage.
 @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
 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