simplify API of goto_convert

smowton · Sep 8, 2017 · 40fe0f8 · 40fe0f8
1 parent c125146
commit 40fe0f8
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 15 deletions.
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 &,