From e0f74bd698c32b2463513edf0b7c084477f5817c Mon Sep 17 00:00:00 2001
From: Corentin Le Molgat <corentinl@google.com>
Date: Fri, 9 Jan 2026 10:34:14 +0100
Subject: [PATCH] sat: fix probing.cc implem against stdc++17

note: Invented public ctor `A(a, b, v)` not defined in c++17
ref: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0960r2.html
---
 ortools/sat/probing.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ortools/sat/probing.cc b/ortools/sat/probing.cc
index 073d63d5e6..7f2473c0f6 100644
--- a/ortools/sat/probing.cc
+++ b/ortools/sat/probing.cc
@@ -104,8 +104,8 @@ class TrailCopy {
       }
       trail_index_[var] = i;
       trail_literals_.push_back(literal);
-      trail_info_.emplace_back(info.level, assignment_type, reason,
-                               reason_clause);
+      trail_info_.push_back(
+          {info.level, assignment_type, reason, reason_clause});
     }
 
     const int num_decisions = trail_.CurrentDecisionLevel();