diff options
| -rw-r--r-- | translate/translation.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/translate/translation.adb b/translate/translation.adb index a4d77fb..3a8d11e 100644 --- a/translate/translation.adb +++ b/translate/translation.adb @@ -8809,7 +8809,7 @@ package body Translation is and then Get_Expr_Staticness (Expr) = Locally and then Get_Type_Staticness (Atype) = Locally then - if not Eval_Is_In_Bound (Expr, Atype) then + if not Eval_Is_In_Bound (Eval_Static_Expr (Expr), Atype) then Chap6.Gen_Bound_Error (Expr); end if; else |