From ef0fcfac8e9a3f9102cf422196343f6f810c951d Mon Sep 17 00:00:00 2001
From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Fri, 23 Sep 2022 19:17:23 +0200
Subject: [PATCH] Add missing header

---
 include/deal.II/base/floating_point_comparator.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/deal.II/base/floating_point_comparator.h b/include/deal.II/base/floating_point_comparator.h
index f6d6e8277b..a32a1bc6fd 100644
--- a/include/deal.II/base/floating_point_comparator.h
+++ b/include/deal.II/base/floating_point_comparator.h
@@ -21,6 +21,7 @@
 #include <deal.II/base/tensor.h>
 #include <deal.II/base/vectorization.h>
 
+#include <vector>
 
 DEAL_II_NAMESPACE_OPEN
 
-- 
2.39.5