1 files changed, 0 insertions, 74 deletions
diff --git a/upstream-gcc14.patch b/upstream-gcc14.patch
deleted file mode 100644
index 9cd4592075c8..000000000000
--- a/upstream-gcc14.patch
+++ /dev/null
@@ -1,74 +0,0 @@
-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>
-