From: Pasquale Africa Date: Mon, 3 Jul 2023 02:02:28 +0000 (+0000) Subject: Fix missing #include X-Git-Tag: relicensing~789^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F15559%2Fhead;p=dealii.git Fix missing #include --- diff --git a/source/grid/intergrid_map.cc b/source/grid/intergrid_map.cc index 9d0b27f0c4..9ffc92dd48 100644 --- a/source/grid/intergrid_map.cc +++ b/source/grid/intergrid_map.cc @@ -16,6 +16,7 @@ #include #include +#include #include #include