aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-decls.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/synth-decls.adb')
-rw-r--r--src/synth/synth-decls.adb2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/synth/synth-decls.adb b/src/synth/synth-decls.adb
index 774bebd06..436ade478 100644
--- a/src/synth/synth-decls.adb
+++ b/src/synth/synth-decls.adb
@@ -472,7 +472,7 @@ package body Synth.Decls is
(Syn_Inst, Get_Default_Value (Decl), Obj_Type);
-- For constant functions, the value must be constant.
pragma Assert (not Get_Instance_Const (Syn_Inst)
- or else Is_Const (Val));
+ or else Is_Static (Val));
if Val.Kind = Value_Const then
Cst := Val;
else