Simplifications and clean-ups

[invirt/third/libt4.git] / rsm_tester.cc

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