From e504e804b0356eede2192db970b4d0077b5b49bc Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 23 Jun 2018 20:25:38 +0100 Subject: [PATCH] Remove unused parameter in string abstraction --- src/goto-programs/string_abstraction.cpp | 3 +-- src/goto-programs/string_abstraction.h | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/src/goto-programs/string_abstraction.cpp b/src/goto-programs/string_abstraction.cpp index f806d403177..dd3ecbfc1ef 100644 --- a/src/goto-programs/string_abstraction.cpp +++ b/src/goto-programs/string_abstraction.cpp @@ -469,7 +469,7 @@ goto_programt::targett string_abstractiont::abstract( break; case FUNCTION_CALL: - abstract_function_call(dest, it); + abstract_function_call(it); break; case RETURN: @@ -528,7 +528,6 @@ goto_programt::targett string_abstractiont::abstract_assign( } void string_abstractiont::abstract_function_call( - goto_programt &dest, goto_programt::targett target) { code_function_callt &call=to_code_function_call(target->code); diff --git a/src/goto-programs/string_abstraction.h b/src/goto-programs/string_abstraction.h index 8e5ddef9554..c79ec5154fe 100644 --- a/src/goto-programs/string_abstraction.h +++ b/src/goto-programs/string_abstraction.h @@ -87,7 +87,7 @@ class string_abstractiont:public messaget const exprt &lhs, const exprt &rhs); - void abstract_function_call(goto_programt &dest, goto_programt::targett it); + void abstract_function_call(goto_programt::targett it); goto_programt::targett value_assignments(goto_programt &dest, goto_programt::targett it,