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

Differences between 1.11 and version 1.12
Log of other versions for file ai12s/ai12-0112-1.txt

--- ai12s/ai12-0112-1.txt	2019/01/11 08:27:40	1.11
+++ ai12s/ai12-0112-1.txt	2019/01/18 06:26:47	1.12
@@ -280,7 +280,7 @@
 
 104/2+
 function "&" (Left, Right : Vector) return Vector
-   with Post => Length (Vectors."&"'Result) = Length (Left) + Length (Right),
+   with Post => Length (Vectors."&"'Result) = Length (Left) + Length (Right) and then
                 not Tampering_With_Elements_Prohibited (Vectors."&"'Result) and then
                 not Tampering_With_Cursors_Prohibited (Vectors."&"'Result) and then
                 Vectors."&"'Result.Capacity >= Length (Left) + Length (Right);

Questions? Ask the ACAA Technical Agent