From 05c394aa6c405ed9b274f50b425a8b0e5a62e0a4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 17 Jun 2026 09:39:08 -0600
Subject: [PATCH] bug fixes

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

diff --git a/src/ast/rewriter/seq_derive.cpp b/src/ast/rewriter/seq_derive.cpp
index 22b9e1fd0..098d1c0f9 100644
--- a/src/ast/rewriter/seq_derive.cpp
+++ b/src/ast/rewriter/seq_derive.cpp
@@ -1284,7 +1284,8 @@ namespace seq {
         for (unsigned i = old_start; i < old_sz; ++i) {
             auto [ilo, ihi] = m_intervals[i];
             if (ihi < lo || ilo > hi) {
-                m_intervals.push_back(m_intervals[i]);
+                auto e = m_intervals[i];
+                m_intervals.push_back(e);
             } else {
                 if (ilo < lo)
                     m_intervals.push_back({ilo, lo - 1});