From 4c03aa572b20e9877b6f82c23bafd77d95592a80 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 17 Jan 2026 21:25:31 +0000
Subject: [PATCH] Revert changes to z3++.h as requested

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/c++/z3++.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 20ea4bda6..b4c8ddbf8 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -3431,7 +3431,7 @@ namespace z3 {
             Z3_optimize_inc_ref(c, m_opt);
             add(expr_vector(c, src.assertions()));
             expr_vector v(c, src.objectives());
-            for (auto& e : v) minimize(e);
+            for (expr_vector::iterator it = v.begin(); it != v.end(); ++it) minimize(*it);
         }
         optimize& operator=(optimize const& o) {
             Z3_optimize_inc_ref(o.ctx(), o.m_opt);
@@ -3447,7 +3447,7 @@ namespace z3 {
             Z3_optimize_assert(ctx(), m_opt, e);
         }
         void add(expr_vector const& es) {
-            for (auto& e : es) add(e);
+            for (expr_vector::iterator it = es.begin(); it != es.end(); ++it) add(*it);
         }
         void add(expr const& e, expr const& t) {
             assert(e.is_bool());