diff mbox series

[COMMITTED,19/31] ada: Tune description of Ghost_Assertion_Level

Message ID 20250911091904.1505690-19-poulhies@adacore.com
State Committed
Commit 48f8e3027979088cacce27e0b552a59855940d87
Headers
Series [COMMITTED,01/31] ada: Disable new warning for composite equality ops that can raise Program_Error |

Commit Message

Marc Poulhiès Sept. 11, 2025, 9:18 a.m. UTC 
  From: Piotr Trojanek <trojanek@adacore.com>

Fix grammar in comment.

gcc/ada/ChangeLog:

	* einfo.ads (Ghost_Assertion_Level): Fix comment.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/einfo.ads | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
diff mbox series

Patch

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]