From 5b663aad7086168da889c0f35e209510f1a7ad97 Mon Sep 17 00:00:00 2001 From: Margus Veanes Date: Thu, 13 Aug 2020 17:12:59 -0700 Subject: [PATCH] updated detection of when parenthesis can be omitted to cover empty and epsilon --- 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 edaee87c4..ddaa87d6d 100644 --- a/src/ast/seq_decl_plugin.cpp +++ b/src/ast/seq_decl_plugin.cpp @@ -1511,7 +1511,7 @@ void seq_util::re::pp::compact_helper_range(std::ostream& out, expr* s1, expr* s */ bool seq_util::re::pp::can_skip_parenth(expr* r) { expr* s; - return ((re.is_to_re(r, s) && re.u.str.is_unit(s)) || re.is_range(r)); + return ((re.is_to_re(r, s) && re.u.str.is_unit(s)) || re.is_range(r) || re.is_empty(r) || re.is_epsilon(r)); } /*