From aa0529895096d45238c1d2f25d89d883d30c1192 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 19 Aug 2021 21:12:27 -0700 Subject: [PATCH] fix #5491 --- src/smt/theory_seq.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp index e9e80efcb17..b48d0d29fbd 100644 --- a/src/smt/theory_seq.cpp +++ b/src/smt/theory_seq.cpp @@ -3191,10 +3191,8 @@ void theory_seq::relevant_eh(app* n) { if (m_util.str.is_replace_all(n) || m_util.str.is_replace_re(n) || - m_util.str.is_replace_re_all(n) || - // m_util.str.is_from_code(n) || - // m_util.str.is_to_code(n) || - m_util.str.is_is_digit(n)) { + m_util.str.is_replace_re_all(n) + ) { add_unhandled_expr(n); } }