| Index: third_party/mojo/src/mojo/public/python/mojo_system.pyx
|
| diff --git a/third_party/mojo/src/mojo/public/python/mojo_system.pyx b/third_party/mojo/src/mojo/public/python/mojo_system.pyx
|
| index d5f164df446a7c60258a4c2187fecbba533f898f..e07b0e61bfa3528cf8f39167a64bc7d07d531f43 100644
|
| --- a/third_party/mojo/src/mojo/public/python/mojo_system.pyx
|
| +++ b/third_party/mojo/src/mojo/public/python/mojo_system.pyx
|
| @@ -685,7 +685,6 @@ class CreateDataPipeOptions(object):
|
| See mojo/public/c/system/data_pipe.h
|
| """
|
| FLAG_NONE = c_core.MOJO_CREATE_DATA_PIPE_OPTIONS_FLAG_NONE
|
| - FLAG_MAY_DISCARD = c_core.MOJO_CREATE_DATA_PIPE_OPTIONS_FLAG_MAY_DISCARD
|
|
|
| def __init__(self):
|
| self.flags = CreateDataPipeOptions.FLAG_NONE
|
|
|