From 373636e5727d1fc0506feb0f40eb1fdcc37b4ac3 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sat, 23 Jun 2018 19:02:29 +0100
Subject: [PATCH] Remove parameters that read_bin_goto_object_v3 does not use

Also make the local procedure static.
---
 src/goto-programs/read_bin_goto_object.cpp | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/goto-programs/read_bin_goto_object.cpp b/src/goto-programs/read_bin_goto_object.cpp
index 466d6cef4ab..b3f868e50ff 100644
--- a/src/goto-programs/read_bin_goto_object.cpp
+++ b/src/goto-programs/read_bin_goto_object.cpp
@@ -23,12 +23,10 @@ Date: June 2006
 /// read goto binary format v3
 /// \par parameters: input stream, symbol_table, functions
 /// \return true on error, false otherwise
-bool read_bin_goto_object_v3(
+static bool read_bin_goto_object_v3(
   std::istream &in,
-  const std::string &filename,
   symbol_tablet &symbol_table,
   goto_functionst &functions,
-  message_handlert &message_handler,
   irep_serializationt &irepconverter)
 {
   std::size_t count = irepconverter.read_gb_word(in); // # of symbols
@@ -229,10 +227,8 @@ bool read_bin_goto_object(
       return true;
 
     case 3:
-      return read_bin_goto_object_v3(in, filename,
-                                     symbol_table, functions,
-                                     message_handler,
-                                     irepconverter);
+      return read_bin_goto_object_v3(
+        in, symbol_table, functions, irepconverter);
       break;
 
     default: