Skip to content

Commit 9305ebd

Browse files
committed
Remove unused parameter message_handler
1 parent b8743fa commit 9305ebd

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

src/ansi-c/ansi_c_entry_point.cpp

+2-4
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,7 @@ Author: Daniel Kroening, [email protected]
2222
exprt::operandst build_function_environment(
2323
const code_typet::parameterst &parameters,
2424
code_blockt &init_code,
25-
symbol_tablet &symbol_table,
26-
message_handlert &message_handler)
25+
symbol_tablet &symbol_table)
2726
{
2827
exprt::operandst main_arguments;
2928
main_arguments.resize(parameters.size());
@@ -432,8 +431,7 @@ bool generate_ansi_c_start_function(
432431
build_function_environment(
433432
parameters,
434433
init_code,
435-
symbol_table,
436-
message_handler);
434+
symbol_table);
437435
}
438436

439437
init_code.move_to_operands(call_main);

0 commit comments

Comments
 (0)