diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-06-12 07:56:12 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-06-12 07:56:12 +0200 |
commit | 8e1338dd871ab5e1858db5735607496937249a16 (patch) | |
tree | 4a345feea347c3bfbc138e68b6a34e5cd06874ec /src/synth | |
parent | d8b893bece3dfa2e421a7d92399fa913839c9220 (diff) | |
download | ghdl-8e1338dd871ab5e1858db5735607496937249a16.tar.gz ghdl-8e1338dd871ab5e1858db5735607496937249a16.tar.bz2 ghdl-8e1338dd871ab5e1858db5735607496937249a16.zip |
synth: handle slices for PSL prev and stable. Fix #1367
Diffstat (limited to 'src/synth')
-rw-r--r-- | src/synth/synth-expr.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index efbf466a1..71a9f7e70 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -1880,7 +1880,7 @@ package body Synth.Expr is Clk_Net : Net; Num : Int64; begin - Expr := Synth_Expression (Syn_Inst, Get_Expression (Call)); + Expr := Synth_Expression_With_Basetype (Syn_Inst, Get_Expression (Call)); Clk_Net := Synth_Psl_Function_Clock (Syn_Inst, Call, Ctxt); @@ -1911,7 +1911,7 @@ package body Synth.Expr is Clk_Net : Net; Res : Net; begin - Expr := Synth_Expression (Syn_Inst, Get_Expression (Call)); + Expr := Synth_Expression_With_Basetype (Syn_Inst, Get_Expression (Call)); Clk_Net := Synth_Psl_Function_Clock (Syn_Inst, Call, Ctxt); |