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; |