diff options
Diffstat (limited to 'src/synth/netlists-disp_vhdl.adb')
| -rw-r--r-- | src/synth/netlists-disp_vhdl.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/netlists-disp_vhdl.adb b/src/synth/netlists-disp_vhdl.adb index ef9db9b30..632966645 100644 --- a/src/synth/netlists-disp_vhdl.adb +++ b/src/synth/netlists-disp_vhdl.adb @@ -743,6 +743,10 @@ package body Netlists.Disp_Vhdl is Disp_Template (" \l0: assert \i0 = '1' severity warning; -- assume" & NL, Inst); + when Id_Cover => + Disp_Template + (" \l0: assert \i0 = '1' severity note; -- cover" & NL, + Inst); when others => Disp_Instance_Gate (Inst); end case; |