From: Clifford Wolf Date: Sat, 10 Mar 2018 13:33:42 +0000 (+0100) Subject: Fix variable name typo in verificsva.cc X-Git-Tag: yosys-0.8~159 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ce37b6d730a7c37803afc294d111cb8a45012c0d;p=yosys.git Fix variable name typo in verificsva.cc Signed-off-by: Clifford Wolf --- diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index a3d680ce8..133544b03 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -1319,11 +1319,11 @@ struct VerificSvaImporter parser_error(inst); } - void get_fsm_accept_reject(SvaFsm &fsm, SigBit *accept_p, SigBit *reject_p, bool swap_accpet_reject = false) + void get_fsm_accept_reject(SvaFsm &fsm, SigBit *accept_p, SigBit *reject_p, bool swap_accept_reject = false) { log_assert(accept_p != nullptr || reject_p != nullptr); - if (swap_accpet_reject) + if (swap_accept_reject) get_fsm_accept_reject(fsm, reject_p, accept_p); else if (reject_p == nullptr) *accept_p = fsm.getAccept();