diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-10 14:33:42 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-10 14:33:42 +0100 |
| commit | ce37b6d730a7c37803afc294d111cb8a45012c0d (patch) | |
| tree | 61c42e1244dc00c4257f1d918175072e68d63749 /frontends | |
| parent | da216937b1226d8dafc1aa33a19686eb694a15df (diff) | |
| download | yosys-ce37b6d730a7c37803afc294d111cb8a45012c0d.tar.gz yosys-ce37b6d730a7c37803afc294d111cb8a45012c0d.tar.bz2 yosys-ce37b6d730a7c37803afc294d111cb8a45012c0d.zip | |
Fix variable name typo in verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends')
| -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(); |