From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 22 Aug 2025 13:08:33 +0000 (+0200)
Subject: ada: Tune description of Ghost_Assertion_Level
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=48f8e3027979088cacce27e0b552a59855940d87;p=thirdparty%2Fgcc.git

ada: Tune description of Ghost_Assertion_Level

Fix grammar in comment.

gcc/ada/ChangeLog:

	* einfo.ads (Ghost_Assertion_Level): Fix comment.
---

diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index 6fbb76d4de0..669696d4bbb 100644
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -1467,8 +1467,8 @@ package Einfo is
 
 --    Ghost_Assertion_Level
 --       Assertion level associated with the declaration of the entity. Its
---       value is either Empty for non-ghost entities. Standard_Level_Default
---       for Ghost entities without an assertion level or a user defined
+--       value is either Empty for non-ghost entities, Standard_Level_Default
+--       for Ghost entities without an assertion level, or a user-defined
 --       assertion level.
 
 --    Has_Aliased_Components [implementation base type only]