From ce37b6d730a7c37803afc294d111cb8a45012c0d Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 10 Mar 2018 14:33:42 +0100 Subject: [PATCH] Fix variable name typo in verificsva.cc Signed-off-by: Clifford Wolf --- frontends/verific/verificsva.cc | 4 ++-- 1 file 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(); -- 2.30.2