From 4609660b7739c85ee354da9c758c97f8ea2b998b Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 21 Apr 2022 21:36:15 +0200 Subject: [PATCH] [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. --- gcc/ada/libgnat/a-cofuse.ads | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- 2.7.4