From 8e1338dd871ab5e1858db5735607496937249a16 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 12 Jun 2020 07:56:12 +0200 Subject: synth: handle slices for PSL prev and stable. Fix #1367 --- src/synth/synth-expr.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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); -- cgit v1.2.3