From 9305ebd56e37c7f9e0c12780b997e5e1c215788c Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 22 Jun 2018 12:32:30 +0100 Subject: [PATCH] Remove unused parameter message_handler --- src/ansi-c/ansi_c_entry_point.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/ansi-c/ansi_c_entry_point.cpp b/src/ansi-c/ansi_c_entry_point.cpp index 7b6b6cbbeee..ad4020f541a 100644 --- a/src/ansi-c/ansi_c_entry_point.cpp +++ b/src/ansi-c/ansi_c_entry_point.cpp @@ -22,8 +22,7 @@ Author: Daniel Kroening, kroening@kroening.com exprt::operandst build_function_environment( const code_typet::parameterst ¶meters, code_blockt &init_code, - symbol_tablet &symbol_table, - message_handlert &message_handler) + symbol_tablet &symbol_table) { exprt::operandst main_arguments; main_arguments.resize(parameters.size()); @@ -432,8 +431,7 @@ bool generate_ansi_c_start_function( build_function_environment( parameters, init_code, - symbol_table, - message_handler); + symbol_table); } init_code.move_to_operands(call_main);