From 10edee48f39a7f0e5d73a94e28497832136d4cec Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 May 2020 19:11:59 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/seq_rewriter.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp index 72282fd10..b1f08c2b1 100644 --- a/src/ast/rewriter/seq_rewriter.cpp +++ b/src/ast/rewriter/seq_rewriter.cpp @@ -1997,13 +1997,13 @@ expr_ref seq_rewriter::is_nullable(expr* r) { return expr_ref(mk_and(m(), is_nullable(r1), is_nullable(r2)), m()); } if (m_util.re.is_star(r) || - m_util.re.is_opt(r) || - m_util.re.is_full_seq(r)) { + m_util.re.is_opt(r) || + m_util.re.is_full_seq(r)) { return expr_ref(m().mk_true(), m()); } if (m_util.re.is_full_char(r) || - m_util.re.is_empty(r) || - m_util.re.is_of_pred(r)) { + m_util.re.is_empty(r) || + m_util.re.is_of_pred(r)) { return expr_ref(m().mk_false(), m()); } if (m_util.re.is_plus(r, r1)) {