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

diff --git a/threaded_log.cc b/threaded_log.cc
index 57ddc08..6a213b1 100644
--- a/threaded_log.cc
+++ b/threaded_log.cc
@@ -1,9 +1,7 @@
-#include <sys/time.h>
-#include <stdint.h>
 #include "threaded_log.h"
 
-std::mutex cerr_mutex;
-std::map<std::thread::id, int> thread_name_map;
+mutex cerr_mutex;
+map<thread::id, int> thread_name_map;
 int next_thread_num = 0;
-std::map<void *, int> instance_name_map;
+map<void *, int> instance_name_map;
 int next_instance_num = 0;