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 | |
| parent | fabf93dc1ae8268c416c1f2b77425922a6de046f (diff) | |
[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.
| -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 ce961aa28a8..6cd340bed26 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); |