From 7ff0b246e8e108d4649e0e1b302e9c9d87b01e73 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 17 Aug 2025 17:08:27 -0700
Subject: [PATCH] fix #7792

add missing revert operations
---
 src/ast/simplifiers/model_reconstruction_trail.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/ast/simplifiers/model_reconstruction_trail.cpp b/src/ast/simplifiers/model_reconstruction_trail.cpp
index 85b22475f..3520b1ca0 100644
--- a/src/ast/simplifiers/model_reconstruction_trail.cpp
+++ b/src/ast/simplifiers/model_reconstruction_trail.cpp
@@ -80,6 +80,7 @@ void model_reconstruction_trail::replay(unsigned qhead, expr_ref_vector& assumpt
                 add_vars(v, free_vars);
                 st.add(dependent_expr(m, m.mk_eq(k, v), nullptr, nullptr));
             }
+            m_trail_stack.push(value_trail(t->m_active));
             t->m_active = false;
             continue;
         }
@@ -90,6 +91,7 @@ void model_reconstruction_trail::replay(unsigned qhead, expr_ref_vector& assumpt
                 TRACE(simplifier, tout << "replay removed " << r << "\n");
                 st.add(r);
             }
+            m_trail_stack.push(value_trail(t->m_active));
             t->m_active = false;
             continue;
         }