From 0c78c62d6c043925293c0ff934c41f2df6932b85 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 7 Aug 2019 11:11:14 -0700
Subject: [PATCH] Remove std:: namespace

---
 passes/sat/sat.cc | 10 +++++-----
 1 file 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") {
-- 
2.30.2