From 31330f252ace62954d573e68261acd78c8554db7 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 14 May 2024 08:37:48 -0700
Subject: [PATCH] Fix missing includes reported by gcc14.

---
 src/lib/bitblast/aig/aig_cnf.cpp     | 1 +
 src/lib/bitblast/aig/aig_manager.cpp | 2 ++
 src/main/options.cpp                 | 1 +
 src/parser/smt2/parser.cpp           | 1 +
 test/unit/api/test_api.cpp           | 1 +
 5 files changed, 6 insertions(+)

diff --git a/src/lib/bitblast/aig/aig_cnf.cpp b/src/lib/bitblast/aig/aig_cnf.cpp
index 11fd853ac..6875feac3 100644
--- a/src/lib/bitblast/aig/aig_cnf.cpp
+++ b/src/lib/bitblast/aig/aig_cnf.cpp
@@ -10,6 +10,7 @@
 
 #include "bitblast/aig/aig_cnf.h"
 
+#include <cstdlib>
 #include <functional>
 #include <unordered_set>
 #include <vector>
diff --git a/src/lib/bitblast/aig/aig_manager.cpp b/src/lib/bitblast/aig/aig_manager.cpp
index 00adf7308..e612a50a9 100644
--- a/src/lib/bitblast/aig/aig_manager.cpp
+++ b/src/lib/bitblast/aig/aig_manager.cpp
@@ -10,6 +10,8 @@
 
 #include "bitblast/aig/aig_manager.h"
 
+#include <cstdlib>
+
 namespace bzla::bitblast {
 
 // AigNodeUniqueTable
diff --git a/src/main/options.cpp b/src/main/options.cpp
index 392a13ab5..d7d85c512 100644
--- a/src/main/options.cpp
+++ b/src/main/options.cpp
@@ -2,6 +2,7 @@
 
 #include <bitwuzla/cpp/bitwuzla.h>
 
+#include <algorithm>
 #include <cassert>
 #include <iomanip>
 #include <iostream>
diff --git a/src/parser/smt2/parser.cpp b/src/parser/smt2/parser.cpp
index 191efb108..bf957fbde 100644
--- a/src/parser/smt2/parser.cpp
+++ b/src/parser/smt2/parser.cpp
@@ -10,6 +10,7 @@
 
 #include "parser/smt2/parser.h"
 
+#include <algorithm>
 #include <iostream>
 
 namespace bzla {
diff --git a/test/unit/api/test_api.cpp b/test/unit/api/test_api.cpp
index 09a39bad9..755b229a6 100644
--- a/test/unit/api/test_api.cpp
+++ b/test/unit/api/test_api.cpp
@@ -11,6 +11,7 @@
 #include <bitwuzla/cpp/bitwuzla.h>
 #include <bitwuzla/cpp/parser.h>
 
+#include <algorithm>
 #include <chrono>
 #include <fstream>