From: Wolfgang Bangerth Date: Thu, 28 Jan 2021 23:48:11 +0000 (-0700) Subject: Add an include file that is necessary (though may have X-Git-Tag: v9.3.0-rc1~531^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8028015c08755436c48acc1ad1f3f8d3227a297e;p=dealii.git Add an include file that is necessary (though may have already been there transitively). --- diff --git a/include/deal.II/grid/grid_generator.h b/include/deal.II/grid/grid_generator.h index 75a94c6e88..f16604c00e 100644 --- a/include/deal.II/grid/grid_generator.h +++ b/include/deal.II/grid/grid_generator.h @@ -25,6 +25,7 @@ #include #include +#include #include #include