X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/5fd8cc8409d0efadc07dfe8d6774ad9ff477663d..dfe8486473094c0769fd1922329c3f0dfd8f43c0:/rsm_client.h?ds=sidebyside diff --git a/rsm_client.h b/rsm_client.h index 3219179..039bc26 100644 --- a/rsm_client.h +++ b/rsm_client.h @@ -1,7 +1,7 @@ #ifndef rsm_client_h #define rsm_client_h -#include "rpc.h" +#include "rpc/rpc.h" #include "rsm_protocol.h" #include #include @@ -19,7 +19,7 @@ class rsm_client { protected: std::string primary; std::vector known_mems; - pthread_mutex_t rsm_client_mutex; + std::mutex rsm_client_mutex; void primary_failure(); bool init_members(); public: