CVS difference for 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