diff options
Diffstat (limited to 'src/synth/synth-context.adb')
-rw-r--r-- | src/synth/synth-context.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/synth/synth-context.adb b/src/synth/synth-context.adb index c02604049..8aea87ea9 100644 --- a/src/synth/synth-context.adb +++ b/src/synth/synth-context.adb @@ -228,7 +228,7 @@ package body Synth.Context is is Info : constant Sim_Info_Acc := Get_Info (Decl); begin - pragma Assert (Syn_Inst.Objects (Info.Slot) = null); + pragma Assert (Val = null or else Syn_Inst.Objects (Info.Slot) = null); Syn_Inst.Objects (Info.Slot) := Val; end Create_Object_Force; |