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

diff --git a/lock_smain.cc b/lock_smain.cc
index 363f886..d62a25b 100644
--- a/lock_smain.cc
+++ b/lock_smain.cc
@@ -1,18 +1,16 @@
 #include "rpc/rpc.h"
 #include <arpa/inet.h>
 #include <stdlib.h>
-#include "tprintf.h"
+#include "threaded_log.h"
 #include <unistd.h>
 #include "lock_server.h"
 #include "rsm.h"
 
 // Main loop of lock_server
 
-char tprintf_thread_prefix = 's';
+char log_thread_prefix = 's';
 
-int
-main(int argc, char *argv[])
-{
+int main(int argc, char *argv[]) {
     setvbuf(stdout, NULL, _IONBF, 0);
     setvbuf(stderr, NULL, _IONBF, 0);