From 1fcd537d810cd6a3742e2f75e7f1aa4e323e434d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Mar 2021 14:23:30 -0700
Subject: [PATCH] fix #5117

---
 src/ast/rewriter/seq_rewriter.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp
index c8bc27272..65cf5d805 100644
--- a/src/ast/rewriter/seq_rewriter.cpp
+++ b/src/ast/rewriter/seq_rewriter.cpp
@@ -2017,11 +2017,6 @@ br_status seq_rewriter::mk_seq_prefix(expr* a, expr* b, expr_ref& result) {
         return BR_DONE;
     }
 
-    expr* b2 = nullptr, *b3 = nullptr;    
-    if (str().is_replace(b, b1, b2, b3) && b2 == a && str().is_empty(b3)) {
-        result = str().mk_prefix(str().mk_concat(a, a), b1);
-        return BR_REWRITE2;
-    }
 
     unsigned len_a;
     rational len_b;