From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 7 Aug 2019 18:11:14 +0000 (-0700)
Subject: Remove std:: namespace
X-Git-Tag: working-ls180~1151^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0c78c62d6c043925293c0ff934c41f2df6932b85;p=yosys.git

Remove std:: namespace
---

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") {