diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index c8975749b58..617cb1be7bd 100644 --- a/gcc/ada/exp_disp.adb +++ b/gcc/ada/exp_disp.adb @@ -4310,6 +4310,7 @@ package body Exp_Disp is Append_To (Result, Make_Object_Declaration (Loc, Defining_Identifier => OSD, + Constant_Present => True, Object_Definition => Make_Subtype_Indication (Loc, Subtype_Mark =>