aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-expr.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-06-12 07:56:12 +0200
committerTristan Gingold <tgingold@free.fr>2020-06-12 07:56:12 +0200
commit8e1338dd871ab5e1858db5735607496937249a16 (patch)
tree4a345feea347c3bfbc138e68b6a34e5cd06874ec /src/synth/synth-expr.adb
parentd8b893bece3dfa2e421a7d92399fa913839c9220 (diff)
downloadghdl-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/synth-expr.adb')
-rw-r--r--src/synth/synth-expr.adb4
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);