Merge pull request diffblue#2440 from tautschnig/vs-list

Remove unused parameter from list_calls_and_arguments
NathanJPhillips · Jul 7, 2018 · 7e4dd05 · 7e4dd05
2 parents 1f237ff + d0c2a49
commit 7e4dd05
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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);
 }