From 9d6c870e97752433a454244d23a2de3fb4c8c7fc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 May 2020 19:11:35 -0700 Subject: [PATCH] remove case with hi = 0 Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/seq_rewriter.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp index cc2b309f5..72282fd10 100644 --- a/src/ast/rewriter/seq_rewriter.cpp +++ b/src/ast/rewriter/seq_rewriter.cpp @@ -2024,9 +2024,6 @@ expr_ref seq_rewriter::is_nullable(expr* r) { if (lo == 0) { return expr_ref(m().mk_true(), m()); } - else if (hi == 0) { - return expr_ref(m().mk_false(), m()); - } else { return is_nullable(r1); }