https://gcc.gnu.org/g:48f8e3027979088cacce27e0b552a59855940d87
commit r16-3781-g48f8e3027979088cacce27e0b552a59855940d87 Author: Piotr Trojanek <[email protected]> Date: Fri Aug 22 15:08:33 2025 +0200 ada: Tune description of Ghost_Assertion_Level Fix grammar in comment. gcc/ada/ChangeLog: * einfo.ads (Ghost_Assertion_Level): Fix comment. Diff: --- gcc/ada/einfo.ads | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 6fbb76d4de04..669696d4bbb9 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]
