From: David Wells Date: Thu, 1 Sep 2022 20:16:48 +0000 (-0400) Subject: Add some missing headers. X-Git-Tag: v9.5.0-rc1~979^2~7 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=60360694265ecdb98b91e41a715b2f834835f414;p=dealii.git Add some missing headers. --- diff --git a/include/deal.II/numerics/data_out_resample.h b/include/deal.II/numerics/data_out_resample.h index 05402c0077..d7cd72735a 100644 --- a/include/deal.II/numerics/data_out_resample.h +++ b/include/deal.II/numerics/data_out_resample.h @@ -21,6 +21,7 @@ #include #include +#include #include #include diff --git a/include/deal.II/optimization/line_minimization.h b/include/deal.II/optimization/line_minimization.h index 65e2587492..5bcd9dab8b 100644 --- a/include/deal.II/optimization/line_minimization.h +++ b/include/deal.II/optimization/line_minimization.h @@ -26,6 +26,7 @@ #include +#include #include #include