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<string> known_mems;
-        mutex rsm_client_mutex;
+        std::vector<string> 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);