Skip to content

Commit 1caa6ae

Browse files
committed
Unswap names of parameters for unwind_destructor_stack
The names of the parameters of `unwind_destructor_stack` were the opposite way round in the header from the `.cpp`. The order in the `.cpp` is the actual order as it is currently implemented. So by (un)swapping the order in the header the names are made consistent.
1 parent 6898716 commit 1caa6ae

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/goto-programs/goto_convert_class.h

+2-2
Original file line numberDiff line numberDiff line change
@@ -360,8 +360,8 @@ class goto_convertt:public messaget
360360
const source_locationt &source_location,
361361
goto_programt &dest,
362362
const irep_idt &mode,
363-
optionalt<node_indext> destructor_start_point = {},
364-
optionalt<node_indext> destructor_end_point = {});
363+
optionalt<node_indext> destructor_end_point = {},
364+
optionalt<node_indext> destructor_start_point = {});
365365

366366
void build_declaration_hops(
367367
goto_programt &dest,

0 commit comments

Comments
 (0)