diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/flags.py')
| -rw-r--r-- | src/third_party/wiredtiger/dist/flags.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/flags.py b/src/third_party/wiredtiger/dist/flags.py index 64b5d789e72..d80c80a37ce 100644 --- a/src/third_party/wiredtiger/dist/flags.py +++ b/src/third_party/wiredtiger/dist/flags.py @@ -32,7 +32,6 @@ flags = { 'READ_PREV', 'READ_RESTART_OK', 'READ_SKIP_INTL', - 'READ_SKIP_LEAF', 'READ_TRUNCATE', 'READ_WONT_NEED', ], |