Un-deprecate to_integer(constant_exprt)

The recommended substitute uses this function, removing it is currently impossible.
NathanJPhillips · Jun 7, 2018 · 04565b4 · 04565b4
1 parent feb59ab
commit 04565b4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/util/arith_tools.h b/src/util/arith_tools.h
@@ -26,8 +26,6 @@ DEPRECATED("Use the constant_exprt version instead")
 bool to_integer(const exprt &expr, mp_integer &int_value);
 
 // returns 'true' on error
-/// \deprecated: use numeric_cast<mp_integer> instead
-DEPRECATED("Use numeric_cast<mp_integer> instead")
 bool to_integer(const constant_exprt &expr, mp_integer &int_value);
 
 // returns 'true' on error