Fixed two major bugs in paxos.cc.
[invirt/third/libt4.git] / rsmtest_client.h
index ad3d4c1..e71fede 100644 (file)
@@ -11,7 +11,7 @@ class rsmtest_client {
     protected:
         rpcc cl;
     public:
-        rsmtest_client(std::string d);
+        rsmtest_client(string d);
         virtual ~rsmtest_client() {}
         virtual rsm_test_protocol::status net_repair(int heal);
         virtual rsm_test_protocol::status breakpoint(int b);