CVS difference for ai12s/ai12-0112-1.txt
--- ai12s/ai12-0112-1.txt 2020/08/01 05:40:52 1.27
+++ ai12s/ai12-0112-1.txt 2020/08/28 03:25:35 1.28
@@ -2592,11 +2592,11 @@
@dby
@xcode<@b<procedure> Move (Target : @b<in out> Holder; Source : @b<in out> Holder)
@b<with> Pre =@> (@b<not> Tampering_With_The_Element_Prohibited (Target)
- @b<or else raise> Program_Error) @b<and then>
+ @b<or else raise> Program_Error) @b<and then>
(@b<not> Tampering_With_The_Element_Prohibited (Source)
- @b<or else raise> Program_Error),
- Post =@> (@b<if> Target /= Source @b<then>
- Is_Empty (Source) @b<and then> (@b<not> Is_Empty (Target)));>
+ @b<or else raise> Program_Error),
+ Post =@> (@b<if not> Target'Has_Same_Storage (Source) @b<then>
+ Is_Empty (Source) @b<and then> (@b<not> Is_Empty (Target)));>
!corrigendum A.18.18(67/3)
Questions? Ask the ACAA Technical Agent