diff options
Diffstat (limited to 'src/synth/netlists-disp_vhdl.adb')
| -rw-r--r-- | src/synth/netlists-disp_vhdl.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/netlists-disp_vhdl.adb b/src/synth/netlists-disp_vhdl.adb index 644ae0ce1..a7999ba0c 100644 --- a/src/synth/netlists-disp_vhdl.adb +++ b/src/synth/netlists-disp_vhdl.adb @@ -607,6 +607,9 @@ package body Netlists.Disp_Vhdl is end; when Id_Assert => Disp_Template (" assert \i0 = '1' severity error;" & NL, Inst); + when Id_Assume => + Disp_Template + (" assert \i0 = '1' severity warning; -- assume" & NL, Inst); when others => Disp_Instance_Gate (Inst); end case; |