X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/26ade07ab0e62b98b452fbbd18edba0450035e35..03b35a9a1bd1f583e32b27d260b223a0989d6c75:/rsm_client.h diff --git a/rsm_client.h b/rsm_client.h index 303d038..90b5b06 100644 --- a/rsm_client.h +++ b/rsm_client.h @@ -15,8 +15,8 @@ class rsm_client { protected: string primary; - vector known_mems; - mutex rsm_client_mutex; + std::vector known_mems; + std::mutex rsm_client_mutex; void primary_failure(lock & rsm_client_mutex_lock); bool init_members(lock & rsm_client_mutex_lock); rsm_protocol::status invoke(unsigned int proc, string & rep, const string & req);