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 |