Remove function that is never used

this function is never called, so I am removing it because the remove_function_pointers.cpp file is already pretty busy

Author: polgreen

src/goto-programs/remove_function_pointers.cpp

@@ -577,23 +577,6 @@ void remove_function_pointerst::operator()(goto_functionst &functions)
   }
 }
 
-bool remove_function_pointers(message_handlert &_message_handler,
-  symbol_tablet &symbol_table,
-  const goto_functionst &goto_functions,
-  goto_programt &goto_program,
-  bool add_safety_assertion,
-  bool only_remove_const_fps)
-{
-  remove_function_pointerst
-    rfp(
-      _message_handler,
-      symbol_table,
-      add_safety_assertion,
-      only_remove_const_fps,
-      goto_functions);
-
-  return rfp.remove_function_pointers(goto_program);
-}
 
 void remove_function_pointers(
   message_handlert &_message_handler,

src/goto-programs/remove_function_pointers.h

@@ -35,12 +35,5 @@ void remove_function_pointers(
   bool add_safety_assertion,
   bool only_remove_const_fps=false);
 
-bool remove_function_pointers(
-  message_handlert &_message_handler,
-  symbol_tablet &symbol_table,
-  const goto_functionst &goto_functions,
-  goto_programt &goto_program,
-  bool add_safety_assertion,
-  bool only_remove_const_fps=false);
 
 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_FUNCTION_POINTERS_H