X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/eb3d5c6416c0f0d1cad35e52af3231de7866fea8..26ade07ab0e62b98b452fbbd18edba0450035e35:/rsm_tester.cc

diff --git a/rsm_tester.cc b/rsm_tester.cc
index 09b2bf9..e821c99 100644
--- 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];
     }