From 708262c71618acfb8441a7d52777e8127bf5e5a2 Mon Sep 17 00:00:00 2001
From: Corentin Le Molgat <corentinl@google.com>
Date: Wed, 7 Jan 2026 17:46:34 +0100
Subject: [PATCH] sat: fix compilation error

---
 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 a7c8431584..fa3193bab5 100644
--- a/ortools/sat/probing.cc
+++ b/ortools/sat/probing.cc
@@ -103,8 +103,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();