diff options
Diffstat (limited to 'src/synth/netlists-disp_vhdl.adb')
| -rw-r--r-- | src/synth/netlists-disp_vhdl.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/synth/netlists-disp_vhdl.adb b/src/synth/netlists-disp_vhdl.adb index 4bbaaef31..387665705 100644 --- a/src/synth/netlists-disp_vhdl.adb +++ b/src/synth/netlists-disp_vhdl.adb @@ -1082,7 +1082,6 @@ package body Netlists.Disp_Vhdl is Ow : constant Width := Get_Width (Get_Output (Inst, 0)); Iw : constant Width := Get_Width (Get_Input_Net (Inst, 0)); begin - pragma Assert (Iw > 0); pragma Assert (Ow > Iw); Disp_Template (" \o0 <= ", Inst); if Iw = 1 then |