Index: mojo/edk/system/master_connection_manager.h |
diff --git a/mojo/edk/system/master_connection_manager.h b/mojo/edk/system/master_connection_manager.h |
index 81ce662d7676fa409de9aa263592ef65096dd1fb..e751e4decf9851573eed2eb261c2b7ba8f2f1ae6 100644 |
--- a/mojo/edk/system/master_connection_manager.h |
+++ b/mojo/edk/system/master_connection_manager.h |
@@ -13,7 +13,8 @@ |
#include "mojo/edk/embedder/platform_task_runner.h" |
#include "mojo/edk/embedder/scoped_platform_handle.h" |
#include "mojo/edk/system/connection_manager.h" |
-#include "mojo/edk/system/mutex.h" |
+#include "mojo/edk/util/mutex.h" |
+#include "mojo/edk/util/thread_annotations.h" |
#include "mojo/public/cpp/system/macros.h" |
namespace base { |
@@ -147,7 +148,7 @@ class MasterConnectionManager final : public ConnectionManager { |
// Note: |mutex_| is not needed in the constructor, |Init()|, |
// |Shutdown()|/|ShutdownOnPrivateThread()|, or the destructor |
- Mutex mutex_; |
+ util::Mutex mutex_; |
ProcessIdentifier next_process_identifier_ MOJO_GUARDED_BY(mutex_); |