--- ai05s/ai05-0157-1.txt 2011/11/01 05:32:52 1.9 +++ ai05s/ai05-0157-1.txt 2012/01/05 06:19:32 1.10 @@ -161,7 +161,7 @@ @dinsb Given an instance of Unchecked_Deallocation declared as follows: @dinst -@i<@s8<Legality Rules>> +@s8<@i<Legality Rules>> A call on an instance of Unchecked_Deallocation is illegal if the actual access type of the instance is a type for which the Storage_Size has been