fixed bug in seq_unit

Z3Prover · Aug 14, 2020 · bfae1c4 · bfae1c4
1 parent 5b663aa
commit bfae1c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/seq_decl_plugin.cpp b/src/ast/seq_decl_plugin.cpp
@@ -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;