diff options
Diffstat (limited to 'dist/flags.py')
| -rw-r--r-- | dist/flags.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dist/flags.py b/dist/flags.py index 676f224cbb6..320bd8f6fb9 100644 --- a/dist/flags.py +++ b/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', |