From 74292a48e5b8e0a6ebfa47b5f42ea67f13bd602c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 26 Apr 2018 09:08:34 +0200 Subject: [PATCH] change order of concatentation for empty string, #1595 Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/seq_rewriter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp index e5cac969f..3ead59833 100644 --- a/src/ast/rewriter/seq_rewriter.cpp +++ b/src/ast/rewriter/seq_rewriter.cpp @@ -856,7 +856,7 @@ br_status seq_rewriter::mk_seq_replace(expr* a, expr* b, expr* c, expr_ref& resu return BR_DONE; } if (m_util.str.is_string(b, s2) && s2.length() == 0) { - result = m_util.str.mk_concat(a, c); + result = m_util.str.mk_concat(c, a); return BR_REWRITE1; } if (m_util.str.is_string(a, s1) && s1.length() == 0) {