diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-08-07 11:09:17 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-07 11:09:17 -0700 |
| commit | 48d0f994064557dc0832748e17133ee2eac88cbf (patch) | |
| tree | ff80fabc1b2196356dd3ebf0536b2d75e145282d /frontends/verific | |
| parent | ee7c970367c68fe1a02a237ed01f2845a03cf9b2 (diff) | |
| download | yosys-48d0f994064557dc0832748e17133ee2eac88cbf.tar.gz yosys-48d0f994064557dc0832748e17133ee2eac88cbf.tar.bz2 yosys-48d0f994064557dc0832748e17133ee2eac88cbf.zip | |
stoi -> atoi
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 12c2f7ab8..06d58a44a 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 = std::stoi(args[++argidx]); + verific_sva_fsm_limit = atoi(args[++argidx].c_str()); continue; } if (args[argidx] == "-n") { |