From fdc57935090312f148dfaed575363b27b4f3306c Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Tue, 17 Feb 2026 14:20:12 +0000
Subject: [PATCH] fixes

---
 src/math/polynomial/polynomial.cpp | 1 +
 src/sat/smt/pb_solver.cpp          | 2 +-
 src/smt/theory_pb.cpp              | 2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/math/polynomial/polynomial.cpp b/src/math/polynomial/polynomial.cpp
index b53c382f2..a2209901c 100644
--- a/src/math/polynomial/polynomial.cpp
+++ b/src/math/polynomial/polynomial.cpp
@@ -35,6 +35,7 @@ Notes:
 #include "util/ref_buffer.h"
 #include "util/common_msgs.h"
 #include <memory>
+#include <numeric>
 
 namespace polynomial {
 
diff --git a/src/sat/smt/pb_solver.cpp b/src/sat/smt/pb_solver.cpp
index f7a641067..3dd7f6eee 100644
--- a/src/sat/smt/pb_solver.cpp
+++ b/src/sat/smt/pb_solver.cpp
@@ -16,7 +16,7 @@ Author:
 --*/
 
 #include <cmath>
-#include "util/mpz.h"
+#include <numeric>
 #include "sat/sat_types.h"
 #include "sat/smt/pb_solver.h"
 #include "sat/smt/euf_solver.h"
diff --git a/src/smt/theory_pb.cpp b/src/smt/theory_pb.cpp
index 915b2845c..3cd81955c 100644
--- a/src/smt/theory_pb.cpp
+++ b/src/smt/theory_pb.cpp
@@ -29,7 +29,7 @@ Notes:
 #include "ast/rewriter/pb_rewriter_def.h"
 #include "math/simplex/sparse_matrix_def.h"
 #include "math/simplex/simplex_def.h"
-
+#include <numeric>
 
 namespace smt {