diff options
Diffstat (limited to 'frontends/verific/verificsva.cc')
-rw-r--r-- | frontends/verific/verificsva.cc | 4 |
1 files changed, 2 insertions, 2 deletions
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(); |