fixed bug in seq_unit

Z3Prover · Aug 14, 2020 · 1567587 · 1567587
1 parent e80b143
commit 1567587
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
@@ -1528,7 +1528,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;