diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/flags.py')
-rw-r--r-- | src/third_party/wiredtiger/dist/flags.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/third_party/wiredtiger/dist/flags.py b/src/third_party/wiredtiger/dist/flags.py index 676f224cbb6..320bd8f6fb9 100644 --- a/src/third_party/wiredtiger/dist/flags.py +++ b/src/third_party/wiredtiger/dist/flags.py @@ -114,8 +114,6 @@ flags = { 'session' : [ 'SESSION_CAN_WAIT', 'SESSION_INTERNAL', - 'SESSION_IN_SPLIT', - 'SESSION_LOCK_NO_WAIT', 'SESSION_LOCKED_CHECKPOINT', 'SESSION_LOCKED_HANDLE_LIST', 'SESSION_LOCKED_METADATA', |