diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-08-06 16:45:48 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-06 16:45:48 -0700 |
| commit | c11ad24fd7d961432cfdbca7497ba229d3b4f38d (patch) | |
| tree | 5b6b9bdef66b60dd718fa7104765d38a1a21c8d9 /frontends/verific | |
| parent | e38f40af5b7cdd5c8b896ffba17069bd65f01f29 (diff) | |
| download | yosys-c11ad24fd7d961432cfdbca7497ba229d3b4f38d.tar.gz yosys-c11ad24fd7d961432cfdbca7497ba229d3b4f38d.tar.bz2 yosys-c11ad24fd7d961432cfdbca7497ba229d3b4f38d.zip | |
Use std::stoi instead of atoi(<str>.c_str())
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 06d58a44a..12c2f7ab8 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2244,7 +2244,7 @@ struct VerificPass : public Pass { continue; } if (args[argidx] == "-L" && argidx+1 < GetSize(args)) { - verific_sva_fsm_limit = atoi(args[++argidx].c_str()); + verific_sva_fsm_limit = std::stoi(args[++argidx]); continue; } if (args[argidx] == "-n") { |