Fix variable name typo in verificsva.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
index a3d680ce87208ad0dd1b0f416a19331330ea276f..133544b030438e3bc3ea83d925f2b92d60881d0b 100644 (file)
--- 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();