Fixed two major bugs in paxos.cc.

[invirt/third/libt4.git] / rsmtest_client.h

diff --git a/rsmtest_client.h b/rsmtest_client.h
index 51f8511..e71fede 100644 (file)
--- a/rsmtest_client.h
+++ b/rsmtest_client.h
@@ -3,16 +3,15 @@
 #ifndef rsmtest_client_h
 #define rsmtest_client_h
 
 #ifndef rsmtest_client_h
 #define rsmtest_client_h
 

-#include <string>
+#include "types.h"

 #include "rsm_protocol.h"
 #include "rsm_protocol.h"

-#include "rpc/rpc.h"

 
 // Client interface to the rsmtest server
 class rsmtest_client {
     protected:
         rpcc cl;
     public:
 
 // Client interface to the rsmtest server
 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);
         virtual ~rsmtest_client() {}
         virtual rsm_test_protocol::status net_repair(int heal);
         virtual rsm_test_protocol::status breakpoint(int b);