From d0c2a492618cbb71185651bebd7f10134b8aa29e Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sun, 24 Jun 2018 09:54:22 +0100 Subject: [PATCH] Remove unused parameter from list_calls_and_arguments --- src/goto-instrument/call_sequences.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/goto-instrument/call_sequences.cpp b/src/goto-instrument/call_sequences.cpp index ca36d43ee99..7138494f2db 100644 --- a/src/goto-instrument/call_sequences.cpp +++ b/src/goto-instrument/call_sequences.cpp @@ -270,7 +270,6 @@ void check_call_sequence(const goto_modelt &goto_model) static void list_calls_and_arguments( const namespacet &ns, - const irep_idt &function, const goto_programt &goto_program) { forall_goto_program_instructions(i_it, goto_program) @@ -321,5 +320,5 @@ void list_calls_and_arguments(const goto_modelt &goto_model) const namespacet ns(goto_model.symbol_table); forall_goto_functions(f_it, goto_model.goto_functions) - list_calls_and_arguments(ns, f_it->first, f_it->second.body); + list_calls_and_arguments(ns, f_it->second.body); }