diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 5790e92f0..a9be296ab 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1271,7 +1271,7 @@ bool VerificImporter::import_netlist_instance_cells(Instance *inst, RTLIL::IdStr for (unsigned i = 0 ; i < selector->GetNumBranches() ; ++i) { - SigSig action(sig_out_val, sig_data_values.extract(offset_data, data_width)); + RTLIL::SyncAction action{sig_out_val, sig_data_values.extract(offset_data, data_width), {}}; offset_data += data_width; for (unsigned j = 0 ; j < selector->GetNumConditions(i) ; ++j) { @@ -1307,7 +1307,7 @@ bool VerificImporter::import_netlist_instance_cells(Instance *inst, RTLIL::IdStr } } RTLIL::CaseRule *cs_default = new RTLIL::CaseRule; - cs_default->actions.push_back(SigSig(sig_out_val, sig_data_default)); + cs_default->actions.push_back({sig_out_val, sig_data_default, {}}); sw->cases.push_back(cs_default); return true;