Skip to content

Commit

Permalink
Unswap names of parameters for unwind_destructor_stack
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
thomasspriggs authored and Enrico Steffinlongo committed Dec 22, 2023
1 parent ebe8966 commit c90f690
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/goto-programs/goto_convert_class.h
Original file line number Diff line number Diff line change
Expand Up @@ -360,8 +360,8 @@ class goto_convertt:public messaget
const source_locationt &source_location,
goto_programt &dest,
const irep_idt &mode,
std::optional<node_indext> destructor_start_point = {},
std::optional<node_indext> destructor_end_point = {});
std::optional<node_indext> destructor_end_point = {},
std::optional<node_indext> destructor_start_point = {});

void build_declaration_hops(
goto_programt &dest,
Expand Down

0 comments on commit c90f690

Please sign in to comment.