diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/synth/synth-stmts.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb index fbca6e852..88501a684 100644 --- a/src/synth/synth-stmts.adb +++ b/src/synth/synth-stmts.adb @@ -2869,6 +2869,7 @@ package body Synth.Stmts is Icond := Get_Condition (Gen); if Icond /= Null_Node then Cond := Synth_Expression (Syn_Inst, Icond); + Strip_Const (Cond); pragma Assert (Cond.Kind = Value_Discrete); else -- It is the else generate. |