Skip to content

Commit d78213f

Browse files
Use non-deprecation function for hex printing
add_axioms_from_int_hex is deprecated, we use add_axioms_for_string_of_int_with_radix instead.
1 parent 47f4628 commit d78213f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/solvers/strings/string_constraint_generator_format.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -287,8 +287,8 @@ add_axioms_for_format_specifier(
287287
res, get_arg(ID_int), 0, ns);
288288
return {res, std::move(return_code.second)};
289289
case format_specifiert::HEXADECIMAL_INTEGER:
290-
return_code =
291-
add_axioms_from_int_hex(res, get_arg(ID_int));
290+
return_code = add_axioms_for_string_of_int_with_radix(
291+
res, get_arg(ID_int), from_integer(16, index_type), 32, ns);
292292
return {res, std::move(return_code.second)};
293293
case format_specifiert::SCIENTIFIC:
294294
return_code = add_axioms_from_float_scientific_notation(

0 commit comments

Comments
 (0)