X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/2546a41ad36fdc9ef6471cb35a1d56930ae1b527..5a5c578e2e358a121cdb9234a6cb11c4ecfbf323:/lock_smain.cc

diff --git a/lock_smain.cc b/lock_smain.cc
index d62a25b..5f859a8 100644
--- a/lock_smain.cc
+++ b/lock_smain.cc
@@ -1,10 +1,6 @@
-#include "rpc/rpc.h"
+#include "lock_server.h"
 #include <arpa/inet.h>
-#include <stdlib.h>
-#include "threaded_log.h"
 #include <unistd.h>
-#include "lock_server.h"
-#include "rsm.h"
 
 // Main loop of lock_server