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

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0339-1.txt

--- ai12s/ai12-0339-1.txt	2020/04/22 01:00:06	1.6
+++ ai12s/ai12-0339-1.txt	2020/08/28 03:25:17	1.7
@@ -718,9 +718,9 @@
 @xcode<@b<function> Empty (Capacity : Count_Type := @ft<@i<implementation-defined>>)
    @b<return> Set
    @b<with> Post =@> 
-      Capacity (Empty'Result) @>= Capacity @b<and then>
-      @b<not> Tampering_With_Cursors_Prohibited (Empty'Result) @b<and then>
-      Length (Empty'Result) = 0;>
+           Capacity (Empty'Result) @>= Capacity @b<and then>
+           @b<not> Tampering_With_Cursors_Prohibited (Empty'Result) @b<and then>
+           Length (Empty'Result) = 0;>
 
 @xindent<Returns an empty set.>
 

Questions? Ask the ACAA Technical Agent