From 641741f3a874130b28cf50a9a07e8bde19a0a855 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 7 Oct 2025 10:30:58 -0700 Subject: [PATCH] parameter eval order Signed-off-by: Lev Nachmanson --- src/ast/rewriter/seq_rewriter.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp index c2649f20f..d708af9e0 100644 --- a/src/ast/rewriter/seq_rewriter.cpp +++ b/src/ast/rewriter/seq_rewriter.cpp @@ -2071,8 +2071,8 @@ br_status seq_rewriter::mk_seq_prefix(expr* a, expr* b, expr_ref& result) { SASSERT(bs.size() > 1); s1 = s1.extract(s2.length(), s1.length() - s2.length()); as[0] = str().mk_string(s1); - result = str().mk_prefix(str().mk_concat(as.size(), as.data(), sort_a), - str().mk_concat(bs.size()-1, bs.data()+1, sort_a)); + auto a = str().mk_concat(as.size(), as.data(), sort_a); + result = str().mk_prefix(a, str().mk_concat(bs.size()-1, bs.data()+1, sort_a)); TRACE(seq, tout << s1 << " " << s2 << " " << result << "\n";); return BR_REWRITE_FULL; }