From e1d3eb1a80ab5e03357e6bf6633189948ded8210 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 2 May 2026 15:53:36 -0700
Subject: [PATCH] flag replace_all as unhandled

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_seq.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 393f6dcd4..ec05fdb16 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -3334,7 +3334,8 @@ void theory_seq::relevant_eh(app* n) {
         add_length_to_eqc(arg);
 
     if (m_util.str.is_replace_re(n) ||
-        m_util.str.is_replace_re_all(n)) {
+        m_util.str.is_replace_re_all(n) ||
+        m_util.str.is_replace_all(n)) {
         add_unhandled_expr(n);
     }
 }