From: Marc Fehling Date: Tue, 10 May 2022 04:56:05 +0000 (-0600) Subject: Added missing header. X-Git-Tag: v9.4.0-rc1~72^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a952e77641b09ae9af0d196b160c8464b3613086;p=dealii.git Added missing header. --- diff --git a/tests/bits/point_value_03.cc b/tests/bits/point_value_03.cc index f02afcad25..8439fb112c 100644 --- a/tests/bits/point_value_03.cc +++ b/tests/bits/point_value_03.cc @@ -31,6 +31,7 @@ #include #include +#include #include #include #include