diff options
Diffstat (limited to 'gcc/ada/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index c16495dd1a2..168da4c25c0 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -247,7 +247,7 @@ package Checks is -- be discarded, even if they are not in the current statement range. procedure Kill_All_Checks; - -- This procedure kills all remembered checks. + -- This procedure kills all remembered checks ----------------------------- -- Length and Range Checks -- @@ -548,7 +548,7 @@ package Checks is -- If all possible stored values are valid, then any uninitialized -- value must be valid. - -- Literals, including enumeration literals, are clearly always valid. + -- Literals, including enumeration literals, are clearly always valid -- Constants are always assumed valid, with a validity check being -- performed on the initializing value where necessary to ensure that |