From 4292ae6a6f536d49cddb68dd2fe154ab48fff716 Mon Sep 17 00:00:00 2001 From: David Wells Date: Thu, 4 Aug 2022 15:40:39 -0400 Subject: [PATCH] Add some missing headers. Other changes in this PR necessitate these additions. --- source/base/geometric_utilities.cc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/source/base/geometric_utilities.cc b/source/base/geometric_utilities.cc index 72d976cec9..e55034af86 100644 --- a/source/base/geometric_utilities.cc +++ b/source/base/geometric_utilities.cc @@ -17,6 +17,10 @@ #include #include +#include +#include +#include + DEAL_II_NAMESPACE_OPEN -- 2.39.5