diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-04-21 21:36:15 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-30 08:29:01 +0000 |
commit | 4609660b7739c85ee354da9c758c97f8ea2b998b (patch) | |
tree | c422dcfad9e541f8eec0f65e1fd061403878db35 /gcc/ada | |
parent | fabf93dc1ae8268c416c1f2b77425922a6de046f (diff) | |
download | gcc-4609660b7739c85ee354da9c758c97f8ea2b998b.zip gcc-4609660b7739c85ee354da9c758c97f8ea2b998b.tar.gz gcc-4609660b7739c85ee354da9c758c97f8ea2b998b.tar.bz2 |
[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.
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/libgnat/a-cofuse.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/libgnat/a-cofuse.ads b/gcc/ada/libgnat/a-cofuse.ads index ce961aa..6cd340b 100644 --- a/gcc/ada/libgnat/a-cofuse.ads +++ b/gcc/ada/libgnat/a-cofuse.ads @@ -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); |