diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-08-07 11:11:14 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-07 11:11:14 -0700 |
| commit | 0c78c62d6c043925293c0ff934c41f2df6932b85 (patch) | |
| tree | cddb78d9da0a2bb7335b86e1f7a24d04f8c7da02 | |
| parent | 13b7d2252e49f4045eacaec2d651fec68889bb91 (diff) | |
| download | yosys-0c78c62d6c043925293c0ff934c41f2df6932b85.tar.gz yosys-0c78c62d6c043925293c0ff934c41f2df6932b85.tar.bz2 yosys-0c78c62d6c043925293c0ff934c41f2df6932b85.zip | |
Remove std:: namespace
| -rw-r--r-- | passes/sat/sat.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index 80498f5b4..e4654d835 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -1102,23 +1102,23 @@ struct SatPass : public Pass { continue; } if (args[argidx] == "-timeout" && argidx+1 < args.size()) { - timeout = std::atoi(args[++argidx].c_str()); + timeout = atoi(args[++argidx].c_str()); continue; } if (args[argidx] == "-max" && argidx+1 < args.size()) { - loopcount = std::atoi(args[++argidx].c_str()); + loopcount = atoi(args[++argidx].c_str()); continue; } if (args[argidx] == "-maxsteps" && argidx+1 < args.size()) { - maxsteps = std::atoi(args[++argidx].c_str()); + maxsteps = atoi(args[++argidx].c_str()); continue; } if (args[argidx] == "-initsteps" && argidx+1 < args.size()) { - initsteps = std::atoi(args[++argidx].c_str()); + initsteps = atoi(args[++argidx].c_str()); continue; } if (args[argidx] == "-stepsize" && argidx+1 < args.size()) { - stepsize = max(1, std::atoi(args[++argidx].c_str())); + stepsize = max(1, atoi(args[++argidx].c_str())); continue; } if (args[argidx] == "-ignore_div_by_zero") { |