mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity

fixed bug in seq_unit

Browse source
This commit is contained in:
Margus Veanes 2020-08-13 17:45:35 -07:00
parent 5b663aad70
commit bfae1c4205
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/seq_decl_plugin.cpp
View file

@ -1526,7 +1526,7 @@ void seq_util::re::pp::seq_unit(std::ostream& out, expr* s) {
unsigned n = r.get_unsigned();
if (32 < n && n < 127)
out << (char)n;
else if (n < 10)
else if (n < 16)
out << "\\x0" << std::hex << n;
else
out << "\\x" << std::hex << n;