From 687354fa1bdc2299cb39ad92f2669c3f80d0195e Mon Sep 17 00:00:00 2001
From: Amos Treiber <amos.treiber@rohde-schwarz.com>
Date: Mon, 6 Nov 2023 16:35:41 +0100
Subject: [PATCH] Fix new CI bug

---
 src/lib/pubkey/frodokem/frodo_matrix.cpp | 1 -
 src/lib/pubkey/frodokem/frodo_matrix.h   | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/pubkey/frodokem/frodo_matrix.cpp b/src/lib/pubkey/frodokem/frodo_matrix.cpp
index 4ac5a2cde85..5303f5f6d47 100644
--- a/src/lib/pubkey/frodokem/frodo_matrix.cpp
+++ b/src/lib/pubkey/frodokem/frodo_matrix.cpp
@@ -29,7 +29,6 @@
 #include <array>
 #include <cmath>
 #include <cstdint>
-#include <functional>
 #include <memory>
 #include <span>
 #include <utility>
diff --git a/src/lib/pubkey/frodokem/frodo_matrix.h b/src/lib/pubkey/frodokem/frodo_matrix.h
index 03fa00ee789..46aaa4f9927 100644
--- a/src/lib/pubkey/frodokem/frodo_matrix.h
+++ b/src/lib/pubkey/frodokem/frodo_matrix.h
@@ -17,6 +17,7 @@
 #include <botan/internal/frodo_constants.h>
 #include <botan/internal/frodo_types.h>
 
+#include <functional>
 #include <tuple>
 #include <utility>
 #include <vector>