Index: mojo/edk/system/remote_consumer_data_pipe_impl.h |
diff --git a/mojo/edk/system/remote_consumer_data_pipe_impl.h b/mojo/edk/system/remote_consumer_data_pipe_impl.h |
index 4c8e8e842a801c6266e13a65b2b8db2ee639a96c..3c8ff8321b4c90f072a0afb8b87f60f3a7ec482f 100644 |
--- a/mojo/edk/system/remote_consumer_data_pipe_impl.h |
+++ b/mojo/edk/system/remote_consumer_data_pipe_impl.h |
@@ -62,7 +62,7 @@ class RemoteConsumerDataPipeImpl final : public DataPipeImpl { |
Channel* channel, |
void* destination, |
size_t* actual_size, |
- std::vector<embedder::ScopedPlatformHandle>* platform_handles) override; |
+ std::vector<platform::ScopedPlatformHandle>* platform_handles) override; |
void ConsumerClose() override; |
MojoResult ConsumerReadData(UserPointer<void> elements, |
UserPointer<uint32_t> num_bytes, |
@@ -85,7 +85,7 @@ class RemoteConsumerDataPipeImpl final : public DataPipeImpl { |
Channel* channel, |
void* destination, |
size_t* actual_size, |
- std::vector<embedder::ScopedPlatformHandle>* platform_handles) override; |
+ std::vector<platform::ScopedPlatformHandle>* platform_handles) override; |
bool OnReadMessage(unsigned port, MessageInTransit* message) override; |
void OnDetachFromChannel(unsigned port) override; |