[Ada] Fix typo in comment for functional sets
Minor fix in a recently added comment. gcc/ada/ * libgnat/a-cofuse.ads (Empty_Set): Fix typo in comment.
This commit is contained in:
parent
fabf93dc1a
commit
4609660b77
@ -216,7 +216,7 @@ package Ada.Containers.Functional_Sets with SPARK_Mode is
|
||||
and Included_Except (Add'Result, Container, Item);
|
||||
|
||||
function Empty_Set return Set with
|
||||
-- Return an new empty set
|
||||
-- Return a new empty set
|
||||
|
||||
Global => null,
|
||||
Post => Is_Empty (Empty_Set'Result);
|
||||
|
Loading…
Reference in New Issue
Block a user