Remove link_to_library(goto_functions, symbol_table, ...)

There are no in-tree uses of this function. External users should use
link_to_library(goto_model, ...). This is in preparation of further changes that
will only support the goto_modelt-variant.

Author: tautschnig

src/goto-programs/link_to_library.cpp

@@ -27,30 +27,6 @@ void link_to_library(
   const std::function<
     void(const std::set<irep_idt> &, symbol_tablet &, message_handlert &)>
     &library)
-{
-  link_to_library(
-    goto_model.symbol_table,
-    goto_model.goto_functions,
-    message_handler,
-    library);
-}
-
-/// Complete missing function definitions using the \p library.
-/// \param symbol_table: symbol table that may contain symbols with missing
-///   function bodies
-/// \param goto_functions: goto functions that may contain function calls with
-///   missing function bodies
-/// \param message_handler: message handler to report library processing
-///   problems
-/// \param library: generator function that produces function definitions for a
-///   given set of symbol names that have no body.
-void link_to_library(
-  symbol_tablet &symbol_table,
-  goto_functionst &goto_functions,
-  message_handlert &message_handler,
-  const std::function<
-    void(const std::set<irep_idt> &, symbol_tablet &, message_handlert &)>
-    &library)
 {
   // this needs a fixedpoint, as library functions
   // may depend on other library functions

src/goto-programs/link_to_library.h

@@ -17,18 +17,10 @@ Author: Daniel Kroening, [email protected]
 
 #include <util/irep.h>
 
-class goto_functionst;
 class goto_modelt;
 class message_handlert;
 class symbol_tablet;
 
-void link_to_library(
-  symbol_tablet &,
-  goto_functionst &,
-  message_handlert &,
-  const std::function<
-    void(const std::set<irep_idt> &, symbol_tablet &, message_handlert &)> &);
-
 void link_to_library(
   goto_modelt &,
   message_handlert &,