diff options
Diffstat (limited to 'src/synth')
| -rw-r--r-- | src/synth/synth-decls.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/synth/synth-decls.adb b/src/synth/synth-decls.adb index f5c60d766..f59253ea1 100644 --- a/src/synth/synth-decls.adb +++ b/src/synth/synth-decls.adb @@ -476,6 +476,7 @@ package body Synth.Decls is Obj_Type := Get_Value_Type (Syn_Inst, Decl_Type); Val := Synth_Expression_With_Type (Syn_Inst, Get_Default_Value (Decl), Obj_Type); + Val := Synth_Subtype_Conversion (Val, Obj_Type, True, Decl); -- For constant functions, the value must be constant. pragma Assert (not Get_Instance_Const (Syn_Inst) or else Is_Static (Val)); |