Remove unused goto_symext::new_name

Author: tautschnig

src/goto-symex/goto_symex.h

@@ -232,8 +232,6 @@ class goto_symext
 
   friend class symex_dereference_statet;
 
-  void new_name(symbolt &symbol, statet &state);
-
   // this does the following:
   // a) rename non-det choices
   // b) remove pointer dereferencing

src/goto-symex/symex_main.cpp

@@ -15,7 +15,6 @@ Author: Daniel Kroening, [email protected]
 #include <memory>
 
 #include <util/std_expr.h>
-#include <util/rename.h>
 #include <util/symbol_table.h>
 #include <util/replace_symbol.h>
 #include <util/make_unique.h>
@@ -46,12 +45,6 @@ void goto_symext::symex_transition(
   state.source.pc=to;
 }
 
-void goto_symext::new_name(symbolt &symbol, statet &state)
-{
-  get_new_name(symbol, ns);
-  state.symbol_table.add(symbol);
-}
-
 void goto_symext::vcc(
   const exprt &vcc_expr,
   const std::string &msg,