From 4896edfb042a44c05b57770d4f77298723071c28 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 19 Sep 2024 11:27:17 +0300
Subject: [PATCH] Add tracking of values size in scoped_state push method in
opt_context
---
src/opt/opt_context.cpp | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index 90bc0ddd6..0c18580e5 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -53,6 +53,7 @@ namespace opt {
void context::scoped_state::push() {
m_asms_lim.push_back(m_asms.size());
m_hard_lim.push_back(m_hard.size());
+ m_values_lim.push_back(m_values.size());
m_objectives_lim.push_back(m_objectives.size());
m_objectives_term_trail_lim.push_back(m_objectives_term_trail.size());
}