From 8028015c08755436c48acc1ad1f3f8d3227a297e Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Thu, 28 Jan 2021 16:48:11 -0700 Subject: [PATCH] Add an include file that is necessary (though may have already been there transitively). --- include/deal.II/grid/grid_generator.h | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.5