X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/5fd8cc8409d0efadc07dfe8d6774ad9ff477663d..a4175b2e216a20b86cc872dea8a08005c60617a5:/lock_server_cache_rsm.h?ds=sidebyside

diff --git a/lock_server_cache_rsm.h b/lock_server_cache_rsm.h
index eb86bd0..4a33361 100644
--- a/lock_server_cache_rsm.h
+++ b/lock_server_cache_rsm.h
@@ -6,13 +6,16 @@
 #include <map>
 #include <vector>
 #include "lock_protocol.h"
-#include "rpc.h"
-#include "mutex.h"
+#include "rpc/rpc.h"
 #include "rsm_state_transfer.h"
 #include "rsm.h"
 #include "rpc/fifo.h"
+#include "lock.h"
 
-using namespace std;
+using std::string;
+using std::pair;
+using std::list;
+using std::map;
 
 typedef string callback;
 typedef pair<callback, lock_protocol::xid_t> holder;
@@ -25,6 +28,7 @@ public:
     list<holder> wanted_by;
     map<callback, lock_protocol::xid_t> old_requests;
     mutex m;
+    lock_state& operator=(const lock_state&);
 };
 
 typedef map<lock_protocol::lockid_t, lock_state> lock_map;