| Index: mojo/shell/public/interfaces/application_manager.mojom
|
| diff --git a/mojo/shell/public/interfaces/application_manager.mojom b/mojo/shell/public/interfaces/application_manager.mojom
|
| index d50f96e5b7dd1d8b11e3c63698ce3ca9c93e2139..c3651464a6c67865a857301cf3cb6d0d599e0b3b 100644
|
| --- a/mojo/shell/public/interfaces/application_manager.mojom
|
| +++ b/mojo/shell/public/interfaces/application_manager.mojom
|
| @@ -54,7 +54,7 @@ interface ApplicationManager {
|
| // request there.
|
| CreateInstanceForHandle(handle channel,
|
| string url,
|
| - mojo.CapabilityFilter filter,
|
| + CapabilityFilter filter,
|
| PIDReceiver& pid_receiver);
|
|
|
| // The listener is removed when the pipe is closed.
|
|
|