diff options
Diffstat (limited to 'dist/serial.py')
-rw-r--r-- | dist/serial.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dist/serial.py b/dist/serial.py index 8772c4bd6bc..46ebc86d0c2 100644 --- a/dist/serial.py +++ b/dist/serial.py @@ -20,6 +20,7 @@ Serial('col_append', [ SerialArg('uint32_t', 'write_gen'), SerialArg('WT_INSERT_HEAD **', 'insheadp'), SerialArg('WT_INSERT ***', 'ins_stack'), + SerialArg('WT_INSERT **', 'next_stack'), SerialArg('WT_INSERT_HEAD **', 'new_inslist', 1), SerialArg('WT_INSERT_HEAD *', 'new_inshead', 1), SerialArg('WT_INSERT *', 'new_ins', 1), @@ -31,6 +32,7 @@ Serial('insert', [ SerialArg('uint32_t', 'write_gen'), SerialArg('WT_INSERT_HEAD **', 'inshead'), SerialArg('WT_INSERT ***', 'ins_stack'), + SerialArg('WT_INSERT **', 'next_stack'), SerialArg('WT_INSERT_HEAD **', 'new_inslist', 1), SerialArg('WT_INSERT_HEAD *', 'new_inshead', 1), SerialArg('WT_INSERT *', 'new_ins', 1), |