| Index: mojo/edk/system/channel_manager.h
|
| diff --git a/mojo/edk/system/channel_manager.h b/mojo/edk/system/channel_manager.h
|
| index da3f2924376baed5ba0cd57cbb22a35aec8ad8aa..1ef217b8e5deab71933c1edd09fb3c85c98514c9 100644
|
| --- a/mojo/edk/system/channel_manager.h
|
| +++ b/mojo/edk/system/channel_manager.h
|
| @@ -13,8 +13,9 @@
|
| #include "mojo/edk/embedder/platform_task_runner.h"
|
| #include "mojo/edk/embedder/scoped_platform_handle.h"
|
| #include "mojo/edk/system/channel_id.h"
|
| -#include "mojo/edk/system/mutex.h"
|
| +#include "mojo/edk/util/mutex.h"
|
| #include "mojo/edk/util/ref_ptr.h"
|
| +#include "mojo/edk/util/thread_annotations.h"
|
| #include "mojo/public/cpp/system/macros.h"
|
|
|
| namespace base {
|
| @@ -152,7 +153,7 @@ class ChannelManager {
|
| // TODO(vtl): Annotate the above rule using |MOJO_ACQUIRED_{BEFORE,AFTER}()|,
|
| // once clang actually checks such annotations.
|
| // https://github.com/domokit/mojo/issues/313
|
| - mutable Mutex mutex_;
|
| + mutable util::Mutex mutex_;
|
|
|
| using ChannelIdToChannelMap =
|
| std::unordered_map<ChannelId, util::RefPtr<Channel>>;
|
|
|