From: David Wells Date: Thu, 4 Aug 2022 19:40:39 +0000 (-0400) Subject: Add some missing headers. X-Git-Tag: v9.5.0-rc1~1051^2~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4292ae6a6f536d49cddb68dd2fe154ab48fff716;p=dealii.git Add some missing headers. Other changes in this PR necessitate these additions. --- 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