CVS difference for ai12s/ai12-0112-1.txt

Differences between 1.27 and version 1.28
Log of other versions for file 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