From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id D69043815FD9; Mon, 30 May 2022 08:30:16 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D69043815FD9 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-830] [Ada] Fix typo in comment for functional sets X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/master X-Git-Oldrev: fabf93dc1ae8268c416c1f2b77425922a6de046f X-Git-Newrev: 4609660b7739c85ee354da9c758c97f8ea2b998b Message-Id: <20220530083016.D69043815FD9@sourceware.org> Date: Mon, 30 May 2022 08:30:16 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 30 May 2022 08:30:16 -0000 https://gcc.gnu.org/g:4609660b7739c85ee354da9c758c97f8ea2b998b commit r13-830-g4609660b7739c85ee354da9c758c97f8ea2b998b Author: Piotr Trojanek Date: Thu Apr 21 21:36:15 2022 +0200 [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. Diff: --- 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 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);