From 1ed9a17980d23a86323b1794b1930cedde5e5888 Mon Sep 17 00:00:00 2001
From: Corentin Le Molgat <corentinl@google.com>
Date: Thu, 8 Jan 2026 09:04:19 -0800
Subject: [PATCH] sat: fix probing.cc compilation on windows

---
 ortools/sat/probing.cc | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/ortools/sat/probing.cc b/ortools/sat/probing.cc
index fa3193bab5..073d63d5e6 100644
--- a/ortools/sat/probing.cc
+++ b/ortools/sat/probing.cc
@@ -14,6 +14,7 @@
 #include "ortools/sat/probing.h"
 
 #include <algorithm>
+#include <cstdint>
 #include <deque>
 #include <functional>
 #include <optional>
@@ -103,8 +104,8 @@ class TrailCopy {
       }
       trail_index_[var] = i;
       trail_literals_.push_back(literal);
-      trail_info_.push_back({info.level, assignment_type, reason,
-                               reason_clause});
+      trail_info_.emplace_back(info.level, assignment_type, reason,
+                               reason_clause);
     }
 
     const int num_decisions = trail_.CurrentDecisionLevel();
@@ -232,7 +233,7 @@ class TrailCopy {
   }
 
   struct TrailInfo {
-    int level;
+    uint32_t level;
     int assignment_type;
     // For literals propagated by the BinaryImplicationGraph, the negation of
     // the original reason. For literals propagated by the ClauseManager, *all*