From 1567587b979b445cc2091ce32a4711a23efa54d7 Mon Sep 17 00:00:00 2001 From: Margus Veanes Date: Thu, 13 Aug 2020 17:45:35 -0700 Subject: [PATCH] fixed bug in seq_unit --- src/ast/seq_decl_plugin.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/seq_decl_plugin.cpp b/src/ast/seq_decl_plugin.cpp index 7c884fbc5..d69a0bc85 100644 --- 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;