]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Tune description of Ghost_Assertion_Level
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 22 Aug 2025 13:08:33 +0000 (15:08 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 11 Sep 2025 09:10:48 +0000 (11:10 +0200)
Fix grammar in comment.

gcc/ada/ChangeLog:

* einfo.ads (Ghost_Assertion_Level): Fix comment.

gcc/ada/einfo.ads

index 6fbb76d4de04e91699ea32b14bc2908f2f9129a5..669696d4bbb9e6f583b81b60ca0d97cdaf06cbc2 100644 (file)
@@ -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]