From c11ad24fd7d961432cfdbca7497ba229d3b4f38d Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 6 Aug 2019 16:45:48 -0700
Subject: Use std::stoi instead of atoi(<str>.c_str())

---
 frontends/verific/verific.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontends/verific/verific.cc')

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") {
-- 
cgit v1.2.3