| Index: src/libplatform/default-platform.h
 | 
| diff --git a/src/libplatform/default-platform.h b/src/libplatform/default-platform.h
 | 
| index e38ca60f669e65dc2d1d956ef44243a3572cd7ea..14e002b882b79446d9ddad295534d0a124209ff1 100644
 | 
| --- a/src/libplatform/default-platform.h
 | 
| +++ b/src/libplatform/default-platform.h
 | 
| @@ -9,8 +9,8 @@
 | 
|  
 | 
|  #include "include/v8-platform.h"
 | 
|  #include "src/base/macros.h"
 | 
| +#include "src/base/platform/mutex.h"
 | 
|  #include "src/libplatform/task-queue.h"
 | 
| -#include "src/platform/mutex.h"
 | 
|  
 | 
|  namespace v8 {
 | 
|  namespace internal {
 | 
| @@ -37,7 +37,7 @@ class DefaultPlatform : public Platform {
 | 
|   private:
 | 
|    static const int kMaxThreadPoolSize;
 | 
|  
 | 
| -  Mutex lock_;
 | 
| +  base::Mutex lock_;
 | 
|    bool initialized_;
 | 
|    int thread_pool_size_;
 | 
|    std::vector<WorkerThread*> thread_pool_;
 | 
| 
 |