| Index: mojo/edk/system/data_pipe_producer_dispatcher.h
|
| diff --git a/mojo/edk/system/data_pipe_producer_dispatcher.h b/mojo/edk/system/data_pipe_producer_dispatcher.h
|
| index 611844923b1a691af7d45cd0992af32dd04bddef..daab3a9fd15f16b62877c074d4b22adf3ba99733 100644
|
| --- a/mojo/edk/system/data_pipe_producer_dispatcher.h
|
| +++ b/mojo/edk/system/data_pipe_producer_dispatcher.h
|
| @@ -69,7 +69,7 @@ class DataPipeProducerDispatcher final : public Dispatcher {
|
| Channel* channel,
|
| void* destination,
|
| size_t* actual_size,
|
| - std::vector<embedder::ScopedPlatformHandle>* platform_handles) override
|
| + std::vector<platform::ScopedPlatformHandle>* platform_handles) override
|
| MOJO_NOT_THREAD_SAFE;
|
| bool IsBusyNoLock() const override;
|
|
|
|
|