X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/26ade07ab0e62b98b452fbbd18edba0450035e35..03b35a9a1bd1f583e32b27d260b223a0989d6c75:/rsm_tester.cc?ds=inline

diff --git a/rsm_tester.cc b/rsm_tester.cc
index e821c99..d5d27fd 100644
--- a/rsm_tester.cc
+++ b/rsm_tester.cc
@@ -17,9 +17,9 @@ int main(int argc, char *argv[]) {
     rsmtest_client *lc = new rsmtest_client(argv[1]);
     string command(argv[2]);
     if (command == "partition") {
-        LOG_NONMEMBER << "net_repair returned " << lc->net_repair(stoi(argv[3]));
+        LOG_NONMEMBER << "net_repair returned " << lc->net_repair(std::stoi(argv[3]));
     } else if (command == "breakpoint") {
-        int b = stoi(argv[3]);
+        int b = std::stoi(argv[3]);
         LOG_NONMEMBER << "breakpoint " << b << " returned " << lc->breakpoint(b);
     } else {
         LOG_NONMEMBER << "Unknown command " << argv[2];