remove to_integer(const exprt &, ...)

This function has been marked as "will go away" since 2013.  It has no known
users.

Author: Daniel Kroening

src/util/arith_tools.cpp

@@ -16,13 +16,6 @@ Author: Daniel Kroening, [email protected]
 
 #include <algorithm>
 
-bool to_integer(const exprt &expr, mp_integer &int_value)
-{
-  if(!expr.is_constant())
-    return true;
-  return to_integer(to_constant_expr(expr), int_value);
-}
-
 bool to_integer(const constant_exprt &expr, mp_integer &int_value)
 {
   const irep_idt &value=expr.get_value();

src/util/arith_tools.h

@@ -19,12 +19,6 @@ Author: Daniel Kroening, [email protected]
 
 class typet;
 
-// this one will go away
-// returns 'true' on error
-/// \deprecated: use the constant_exprt version instead
-DEPRECATED("Use the constant_exprt version instead")
-bool to_integer(const exprt &expr, mp_integer &int_value);
-
 // returns 'true' on error
 bool to_integer(const constant_exprt &expr, mp_integer &int_value);