diff options
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 5a5b7d1fc7b..570bfbc8a14 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -2502,8 +2502,8 @@ package body Checks is -- Here for normal case of predicate active else - -- If the type has a static predicate and the expression is also - -- static, see if the expression satisfies the predicate. + -- If the type has a static predicate and the expression is known + -- at compile time, see if the expression satisfies the predicate. Check_Expression_Against_Static_Predicate (N, Typ); |