From 4bf4fbd48cc3e7a696afcac6b721abceab4ca902 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 14 Jun 2026 15:57:23 -0700
Subject: [PATCH] revert updates

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/core/elim_uncnstr_tactic.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tactic/core/elim_uncnstr_tactic.cpp b/src/tactic/core/elim_uncnstr_tactic.cpp
index 69e5465c1..6807cdaa1 100644
--- a/src/tactic/core/elim_uncnstr_tactic.cpp
+++ b/src/tactic/core/elim_uncnstr_tactic.cpp
@@ -835,6 +835,7 @@ class elim_uncnstr_tactic : public tactic {
                 return r;
             }
             case OP_SEQ_IN_RE:
+                return nullptr;
                 if (uncnstr(args[0]) && m_seq_util.re.is_ground(args[1]) && m_seq_util.is_string(args[0]->get_sort())) {
                     zstring s1;
                     expr *re = args[1];