From 7a3385fd2c4662344ead2a5e97b0878947d70bec Mon Sep 17 00:00:00 2001 From: John Nonweiler Date: Fri, 12 Oct 2018 13:37:07 +0100 Subject: [PATCH] Update deprecated method description Clarify which alternative method to use instead of the deprecated one. (This happens to fix a Doxygen warning, since Doxygen was getting confused by a macro with multiline parameters.) --- .../refinement/string_constraint_generator_valueof.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/solvers/refinement/string_constraint_generator_valueof.cpp b/src/solvers/refinement/string_constraint_generator_valueof.cpp index 467caa22047..fb5bc1d814b 100644 --- a/src/solvers/refinement/string_constraint_generator_valueof.cpp +++ b/src/solvers/refinement/string_constraint_generator_valueof.cpp @@ -219,13 +219,12 @@ static exprt int_of_hex_char(const exprt &chr) /// Add axioms stating that the string `res` corresponds to the integer /// argument written in hexadecimal. -/// \deprecated use add_axioms_from_int which takes a radix argument instead +/// \deprecated use add_axioms_from_int_with_radix instead /// \param fresh_symbol: generator of fresh symbols /// \param res: string expression for the result /// \param i: an integer argument /// \return code 0 on success -DEPRECATED( - "use add_axioms_for_string_of_int which takes a radix argument instead") +DEPRECATED("use add_axioms_for_string_of_int_with_radix instead") std::pair add_axioms_from_int_hex( symbol_generatort &fresh_symbol, const array_string_exprt &res,