From ef0fcfac8e9a3f9102cf422196343f6f810c951d Mon Sep 17 00:00:00 2001 From: Martin Kronbichler 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 #include +#include DEAL_II_NAMESPACE_OPEN -- 2.39.5