Index: third_party/mojo/src/mojo/public/c/system/core.h |
diff --git a/third_party/mojo/src/mojo/public/c/system/core.h b/third_party/mojo/src/mojo/public/c/system/core.h |
index e908afa93bf0adf695a4b5131456b9a308246255..291a8378d6e4e80977a70fba5fa9afab4eabe175 100644 |
--- a/third_party/mojo/src/mojo/public/c/system/core.h |
+++ b/third_party/mojo/src/mojo/public/c/system/core.h |
@@ -17,5 +17,6 @@ |
#include "third_party/mojo/src/mojo/public/c/system/message_pipe.h" |
#include "third_party/mojo/src/mojo/public/c/system/system_export.h" |
#include "third_party/mojo/src/mojo/public/c/system/types.h" |
+#include "third_party/mojo/src/mojo/public/c/system/wait_set.h" |
#endif // THIRD_PARTY_MOJO_SRC_MOJO_PUBLIC_C_SYSTEM_CORE_H_ |