| Index: mojo/edk/system/core.h
|
| diff --git a/mojo/edk/system/core.h b/mojo/edk/system/core.h
|
| index 74c5f4750b4a9715961242e6fd3b03b41cd66d3e..a97010f3aeca3e3110ff3fade881019e975b98a6 100644
|
| --- a/mojo/edk/system/core.h
|
| +++ b/mojo/edk/system/core.h
|
| @@ -116,6 +116,7 @@ class Core {
|
| // This method corresponds to the API function defined in
|
| // "mojo/public/c/system/handle.h":
|
| MojoResult Close(MojoHandle handle);
|
| + MojoResult GetRights(MojoHandle handle, UserPointer<MojoHandleRights> rights);
|
|
|
| // These methods correspond to the API functions defined in
|
| // "mojo/public/c/system/wait.h":
|
|
|