Index: third_party/mojo/src/mojo/public/js/core.js |
diff --git a/third_party/mojo/src/mojo/public/js/core.js b/third_party/mojo/src/mojo/public/js/core.js |
index 6eb6ae6a74b2f242b4f4e22892a35c0c1b277d3c..b89a9560ea349a1aeb860eb7ac12960791b269c8 100644 |
--- a/third_party/mojo/src/mojo/public/js/core.js |
+++ b/third_party/mojo/src/mojo/public/js/core.js |
@@ -95,7 +95,6 @@ dictionary MojoCreateDataPipeOptions { |
// MojoCreateDataPipeOptionsFlags |
var CREATE_DATA_PIPE_OPTIONS_FLAG_NONE; |
-var CREATE_DATA_PIPE_OPTIONS_FLAG_MAY_DISCARD; |
/* |
* MojoWriteDataFlags: Used to specify different modes to |writeData()|. |