diff options
| -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); |