simplify API of goto_convert

Daniel Kroening · Daniel Kroening · commit 40fe0f8691f5 · 2017-09-08T14:55:01.000+01:00
diff --git a/src/goto-programs/goto_convert_functions.cpp b/src/goto-programs/goto_convert_functions.cpp
@@ -221,15 +221,6 @@ void goto_convert_functionst::convert_function(const irep_idt &identifier)
     f.make_hidden();
 }
 
-void goto_convert(
-  symbol_tablet &symbol_table,
-  goto_modelt &goto_model,
-  message_handlert &message_handler)
-{
-  goto_convert(symbol_table, goto_model.goto_functions, message_handler);
-  goto_model.symbol_table.swap(symbol_table);
-}
-
 void goto_convert(
   goto_modelt &goto_model,
   message_handlert &message_handler)
diff --git a/src/goto-programs/goto_convert_functions.h b/src/goto-programs/goto_convert_functions.h
@@ -23,12 +23,6 @@ void goto_convert(
   goto_functionst &functions,
   message_handlert &);
 
-// confusing, will go away
-void goto_convert(
-  symbol_tablet &symbol_table,
-  goto_modelt &dest,
-  message_handlert &);
-
 // convert it all!
 void goto_convert(
   goto_modelt &,
