diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-05-25 07:56:54 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-05-25 07:56:54 +0200 |
| commit | fb6994aec01818bd2096fd0bc12382fb6db8c78f (patch) | |
| tree | be1a4ff0e512910e3835fb06270bb71450cf0562 /src/vhdl | |
| parent | 979b3e3af338294cf19abbe7d690d284fcaf4c89 (diff) | |
| download | ghdl-fb6994aec01818bd2096fd0bc12382fb6db8c78f.tar.gz ghdl-fb6994aec01818bd2096fd0bc12382fb6db8c78f.tar.bz2 ghdl-fb6994aec01818bd2096fd0bc12382fb6db8c78f.zip | |
vhdl-disp_vhdl: fixes for psl.
Diffstat (limited to 'src/vhdl')
| -rw-r--r-- | src/vhdl/vhdl-disp_vhdl.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/vhdl/vhdl-disp_vhdl.adb b/src/vhdl/vhdl-disp_vhdl.adb index d8e0ec83e..4a7b007b9 100644 --- a/src/vhdl/vhdl-disp_vhdl.adb +++ b/src/vhdl/vhdl-disp_vhdl.adb @@ -3328,8 +3328,7 @@ package body Vhdl.Disp_Vhdl is Disp_End (Ctxt, Stmt, Tok_Generate); end Disp_For_Generate_Statement; - procedure Disp_If_Generate_Statement - (Ctxt : in out Ctxt_Class; Stmt : Iir) + procedure Disp_If_Generate_Statement (Ctxt : in out Ctxt_Class; Stmt : Iir) is Bod : Iir; Clause : Iir; @@ -3451,6 +3450,7 @@ package body Vhdl.Disp_Vhdl is Put ("--psl "); end if; Disp_Label (Ctxt, Stmt); + Disp_Postponed (Ctxt, Stmt); Disp_Token (Ctxt, Tok_Assert); Disp_Psl_Expression (Ctxt, Get_Psl_Property (Stmt)); Disp_Report_Expression (Ctxt, Stmt); |