projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fabf93d
)
[Ada] Fix typo in comment for functional sets
author
Piotr Trojanek
<trojanek@adacore.com>
Thu, 21 Apr 2022 19:36:15 +0000
(21:36 +0200)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Mon, 30 May 2022 08:29:01 +0000
(08:29 +0000)
Minor fix in a recently added comment.
gcc/ada/
* libgnat/a-cofuse.ads (Empty_Set): Fix typo in comment.
gcc/ada/libgnat/a-cofuse.ads
patch
|
blob
|
history
diff --git
a/gcc/ada/libgnat/a-cofuse.ads
b/gcc/ada/libgnat/a-cofuse.ads
index
ce961aa
..
6cd340b
100644
(file)
--- 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 a
n
new empty set
+ -- Return a new empty set
Global => null,
Post => Is_Empty (Empty_Set'Result);