diff options
| -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); |