X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/f0dcb6b97d6d40f67698d1f71ac26970f1776f82..03b35a9a1bd1f583e32b27d260b223a0989d6c75:/rpc/thr_pool.h

diff --git a/rpc/thr_pool.h b/rpc/thr_pool.h
index df11f20..9525032 100644
--- a/rpc/thr_pool.h
+++ b/rpc/thr_pool.h
@@ -4,7 +4,7 @@
 #include "types.h"
 #include "fifo.h"
 
-typedef function<void()> job_t;
+typedef std::function<void()> job_t;
 
 class thread_pool {
     public:
@@ -18,7 +18,7 @@ class thread_pool {
         bool blockadd_;
 
         fifo<job_t> jobq_;
-        vector<thread> th_;
+        std::vector<thread> th_;
 
         void do_worker();
 };